 | 2011 |
| 6 |  | Frédéric Boulanger,
Cécile Hardebolle,
Christophe Jacquet,
Dominique Marcadet:
Semantic Adaptation for Models of Computation.
ACSD 2011: 153-162 |
| 5 |  | Frédéric Boulanger,
Ayman Dogui,
Cécile Hardebolle,
Christophe Jacquet,
Dominique Marcadet,
Iuliana Prodan:
Semantic Adaptation Using CCSL Clock Constraints.
MoDELS Workshops 2011: 104-118 |
| 2008 |
| 4 |  | Ahcene Bouzoualegh,
Dominique Marcadet,
Frédéric Boulanger,
Christophe Jacquet:
An Architecture Description Language for Verification in Component-Based Software.
COMPSAC 2008: 365-368 |
| 3 |  | Christophe Jacquet,
Frédéric Boulanger,
Dominique Marcadet:
From Data to Events: Checking Properties on the Control of a System.
MEMOCODE 2008: 17-26 |
| 2007 |
| 2 |  | Cécile Hardebolle,
Frédéric Boulanger,
Dominique Marcadet,
Guy Vidal-Naquet:
A Generic Execution Framework for Models of Computation.
MOMPES 2007: 45-54 |
| 2003 |
| 1 |  | Abdalhmed Maran,
Dominique Marcadet:
De UML vers les schémas XML.
L'OBJET 9(3): 39-63 (2003) |