| emsoft | participants

Marco Jan Gerrit Bekooij

Program Committees:
2014
.

EMSOFT 2017: 17th International Conference on Embedded Software

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

Philip S. Kurtin and Marco Jan Gerrit Bekooij

EMSOFT 2016: 16th International Conference on Embedded Software

A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering

Joost P. H. M. Hausmans and Marco Jan Gerrit Bekooij

EMSOFT 2012: 12th International Conference on Embedded Software

Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design

Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, and Marco Jan Gerrit Bekooij

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Dataflow Models for Shared Memory Access Latency Analysis

Jan Staschulat and Marco Jan Gerrit Bekooij

Monotonicity and Run-Time Scheduling

Maarten Wiggers, Marco Jan Gerrit Bekooij, and Gerard J. M. Smit

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

Scheduling Multiple Independent Hard-Real-Time Jobs on a Heterogeneous Multiprocessor

Orlando Moreira, Frederico Valente, and Marco Jan Gerrit Bekooij