No photo of Marco Jan Gerrit Bekooij

Marco Jan Gerrit Bekooij

prof.dr.ir.

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

Research Output 2006 2019

Filter
Article
2017
3 Citations (Scopus)
1 Downloads (Pure)

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

Real time systems
Jitter
Specifications
2013
3 Citations (Scopus)

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

2010
19 Citations (Scopus)
83 Downloads (Pure)

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
2009
112 Citations (Scopus)

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

38 Citations (Scopus)
18 Downloads (Pure)

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