|  |  | 
| 2006 | ||
|---|---|---|
| 2 | EE | Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid: A Verification Tool Implementation using Introspection Mechanism. FDL 2006: 265-272 | 
| 1 | EE | Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid: Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. IEEE International Workshop on Rapid System Prototyping 2006: 91-97 | 
| 1 | El Mostapha Aboulhamid | [1] [2] | 
| 2 | Frederic Bastien | [1] [2] | 
| 3 | Frédéric Rousseau | [1] [2] | 
| 4 | Julie Vachon | [1] [2] |