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
Report
52 Downloads (Pure)

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems (Extended Version)

Kurtin, P. S. & Bekooij, M. J. G., 24 Oct 2017, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 43 p. (CTIT Technical Report Series; no. TR-CTIT-17-06)

Research output: Book/ReportReportAcademic

Open Access
File
Real time systems
Jitter
Specifications
15 Downloads (Pure)

Appendix to Temporal analysis of static priority preemptive scheduled cyclic streaming applications using CSDF models

Kurtin, P. S. & Bekooij, M. J. G., 2 Sep 2016, Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-16-10)

Research output: Book/ReportReportProfessional

Open Access
File
26 Downloads (Pure)

Efcient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure

Wiggers, M. H., Bekooij, M., Bekooij, M. J. G., Jansen, P. G. & Smit, G. J. M., 17 Oct 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 10 p. (CTIT technical reports series; no. 06-64)

Research output: Book/ReportReportProfessional

File
42 Downloads (Pure)

Efficient Buffer Capacity and Scheduler Setting Computation for Soft Real-Time Stream Processing Applications

Bekooij, M., Bekooij, M. J. G., Wiggers, M. H. & van Meerbergen, J., 30 Jan 2007, Enschede: Computer Architecture for Embedded Systems (CAES). 10 p. (CTIT Technical Report Series; no. TR-CTIT-07-07)

Research output: Book/ReportReportProfessional

File
66 Downloads (Pure)

Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs

Wiggers, M. H., Bekooij, M. J. G. & Smit, G. J. M., 22 Nov 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. 06-70)

Research output: Book/ReportReportProfessional

File
34 Citations (Scopus)
58 Downloads (Pure)

Efficient Computation of Buffer Capacities for Multi-Rate Real-Time Systems with Back-Pressure

Wiggers, M. H., Bekooij, M., Bekooij, M. J. G., Jansen, P. G. & Smit, G. J. M., 1 Jul 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT technical reports series; no. 06-48)

Research output: Book/ReportReportProfessional

File
16 Downloads (Pure)

Latency-Rate servers & Dataflow models

Wiggers, M. H., Bekooij, M. & Bekooij, M. J. G., 1 Oct 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. 06-59)

Research output: Book/ReportReportProfessional

File
27 Citations (Scopus)
67 Downloads (Pure)

Modelling Run-Time Arbitration by Latency-Rate Servers in Dataflow Graphs

Wiggers, M. H., Bekooij, M. J. G., Bekooij, M. & Smit, G. J. M., 30 Jan 2007, Enschede: Computer Architecture for Embedded Systems (CAES). 10 p. (CTIT Technical Report Series; no. TR-CTIT-07-65)

Research output: Book/ReportReportProfessional

File
16 Downloads (Pure)

Omphale: Streamlining the Communication for Jobs in a Multi Processor System on Chip

Bijlsma, T., Bekooij, M. J. G., Smit, G. J. M. & Jansen, P. G., 5 Jul 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-44)

Research output: Book/ReportReportProfessional

File
21 Downloads (Pure)

Throughput Analysis of Run-Time Scheduled Multi-Rate Systems with Backpressure

Bekooij, M., Bekooij, M. J. G., Wiggers, M. H. & van Meerbergen, J., 22 Nov 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 8 p. (CTIT Technical Report Series; no. 06-71)

Research output: Book/ReportReportProfessional

File