 | 2010 |
|---|
| 8 |       | Alie El-Din Mady,
Menouer Boubekeur,
Gregory Provan:
WSAN QoS Driven Control Model for Building Operations.
SOCO 2010: 237-247 |
| 7 | | Alie El-Din Mady,
Menouer Boubekeur,
Gregory Provan,
Conor Ryan,
Kenneth N. Brown:
Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation.
SOCO 2010: 249-259 |
| 2009 |
|---|
| 6 | | 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 | | James Mc Enery,
David Hickey,
Menouer Boubekeur:
Empirical evaluation of two main-stream RTSJ implementations.
JTRES 2007: 47-54 |
| 4 | | Ka Lok Man,
Andrea Fedeli,
Michele Mercaldi,
Menouer Boubekeur,
Michel P. Schellekens:
SC2SCFL: Automated SystemC to SystemCFL Translation.
SAMOS 2007: 34-45 |
| 2003 |
|---|
| 3 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page