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.

Fingerprint Dive into the research topics where Marco Jan Gerrit Bekooij is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Data flow analysis Engineering & Materials Science
Model checking Engineering & Materials Science
Real time systems Engineering & Materials Science
Jitter Engineering & Materials Science
Processing Engineering & Materials Science
Sampling Engineering & Materials Science
Execution Time Mathematics
Hybrid Automata Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2006 2019

28 Downloads (Pure)

Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics

El Hakim, V. S. & Bekooij, M. J. G., 27 May 2019, SCOPES '19 Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems. Stuijk, S. (ed.). ACM Inc., p. 27-36 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Hybrid Automata
Reachability Analysis
Clocks
Pipe Flow
Pipe flow
123 Downloads (Pure)

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

Kurtin, P-S., 9 Nov 2018, Enschede: University of Twente. 302 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Real time systems
Jitter
Scheduling
Substitution reactions
Simulators
67 Downloads (Pure)

Analysis and optimization techniques for real-time streaming image processing software on general purpose systems

Westmijze, M., 29 Jun 2018, Enschede: University of Twente. 107 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Image processing
Medical image processing
Bandwidth
Processing
Scheduling
1 Citation (Scopus)
41 Downloads (Pure)

Stability Verification of Self-Timed Control Systems using Model-Checking

El Hakim, V. S. & Bekooij, M. J. G., 2018, 2018 21st Euromicro Conference on Digital System Design (DSD) . IEEE, p. 312-319 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
Model Checking
Stability Analysis
Workload Characterization
Control System
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