 | 2011 |
| 4 |  | Stéphane Louise,
Matthieu Lemerre,
Christophe Aussaguès,
Vincent David:
The OASIS Kernel: A Framework for High Dependability Real-Time Systems.
HASE 2011: 95-103 |
| 2010 |
| 3 |  | Matthieu Lemerre,
Vincent David,
Christophe Aussaguès,
Guy Vidal-Naquet:
An Introduction to Time-Constrained Automata
ICE 2010: 83-98 |
| 2 |  | Emmanuel Ohayon,
Matthieu Lemerre,
Vincent David:
CONFIGEN: A tool for managing configuration options
LoCoCo 2010: 32-43 |
| 2008 |
| 1 |  | Matthieu Lemerre,
Vincent David,
Christophe Aussaguès,
Guy Vidal-Naquet:
Equivalence between Schedule Representations: Theory and Applications.
IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 237-247 |