| 2007 |
|---|
| 4 | EE | James Mc Enery,
David Hickey,
Menouer Boubekeur:
Empirical evaluation of two main-stream RTSJ implementations.
JTRES 2007: 47-54 |
| 3 | EE | Ka Lok Man,
Andrea Fedeli,
Michele Mercaldi,
Menouer Boubekeur,
Michel P. Schellekens:
SC2SCFL: Automated SystemC to SystemCFL Translation.
SAMOS 2007: 34-45 |
| 2003 |
|---|
| 2 | EE | Dominique Borrione,
Menouer Boubekeur,
Emil Dumitrescu,
Marc Renaudin,
Jean-Baptiste Rigaud,
Antoine Sirianni:
An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow.
HICSS 2003: 279 |
| 1 | | Dominique Borrione,
Menouer Boubekeur,
Laurent Mounier,
Marc Renaudin,
Antoine Sirianni:
Validation of asynchronous circuit specifications using IF/CADP.
VLSI-SOC 2003: 86-91 |
