| |
| 2008 | ||
|---|---|---|
| 3 | EE | Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet: An Architecture Description Language for Verification in Component-Based Software. COMPSAC 2008: 365-368 |
| 2 | EE | Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet: From Data to Events: Checking Properties on the Control of a System. MEMOCODE 2008: 17-26 |
| 2003 | ||
| 1 | EE | Abdalhmed Maran, Dominique Marcadet: De UML vers les schémas XML. L'OBJET 9(3): 39-63 (2003) |
| 1 | Frédéric Boulanger | [2] [3] |
| 2 | Ahcene Bouzoualegh | [3] |
| 3 | Christophe Jacquet | [2] [3] |
| 4 | Abdalhmed Maran | [1] |