Marco Jan Gerrit Bekooij

prof.dr.ir.

20062020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2017

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems

Kurtin, P. S. & Bekooij, M. J. G., 1 Sep 2017, In : ACM transactions on embedded computing systems. 16, 5s, p. 173:1-173:20 20 p., 173.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
1 Downloads (Pure)
2013

Sequential specification of time-aware stream processing applications

Geuns, S. J., Hausmans, J. P. H. M. & Bekooij, M. J. G., Mar 2013, In : ACM transactions on embedded computing systems. 12, S1, p. 35 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2010

Buffer Capacity Computation for Throughput-Constrained Modal Task Graphs

Wiggers, M. H., Bekooij, M. J. G. & Smit, G. J. M., Dec 2010, In : ACM transactions on embedded computing systems. 10, 2, p. 17:1-17:59 59 p., 17.

Research output: Contribution to journalArticleAcademicpeer-review

File
20 Citations (Scopus)
111 Downloads (Pure)
2009

CoMPSoC: A Template for Composable and Predictable Multi-Processor System on Chips

Hansson, A., Goossens, K., Bekooij, M. J. G. & Huisken, J., 2009, In : ACM transactions on design automation of electronic systems. 14, 1, p. article no.2 2.

Research output: Contribution to journalArticleAcademicpeer-review

118 Citations (Scopus)

Enabling application-level performance guarantees in network-based systems on chip by applying dataflow analysis

Hansson, A., Hansson, A., Wiggers, M. H., Moonen, A., Goossens, K., Bekooij, M. J. G. & Bekooij, M., 2009, In : IET computers & digital techniques. 3, 5, p. 398-412 15 p., 10.1049/iet-cdt.2008.0093.

Research output: Contribution to journalArticleAcademicpeer-review

File
38 Citations (Scopus)
29 Downloads (Pure)