| emsoft | participants

Joost P. H. M. Hausmans

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