| 2009 |
|---|
| 6 | EE | Anthony Karel Seda,
Menouer Boubekeur,
Ted Hurley,
Mícheál Mac an Airchinnigh,
Michel P. Schellekens,
Glenn Strong:
Preface.
Electr. Notes Theor. Comput. Sci. 225: 1-2 (2009) |
| 2007 |
|---|
| 5 | EE | James Mc Enery,
David Hickey,
Menouer Boubekeur:
Empirical evaluation of two main-stream RTSJ implementations.
JTRES 2007: 47-54 |
| 4 | EE | Ka Lok Man,
Andrea Fedeli,
Michele Mercaldi,
Menouer Boubekeur,
Michel P. Schellekens:
SC2SCFL: Automated SystemC to SystemCFL Translation.
SAMOS 2007: 34-45 |
| 2003 |
|---|
| 3 | EE | Dominique Borrione,
Menouer Boubekeur:
Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications.
FDL 2003: 481-492 |
| 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 |
