| |
| 2008 | ||
|---|---|---|
| 5 | EE | Radu Mateescu, Emilie Oudot: Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. MEMOCODE 2008: 73-74 |
| 4 | EE | Radu Mateescu, Emilie Oudot: Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. SPIN 2008: 196-213 |
| 2007 | ||
| 3 | EE | Jacques Julliand, Hassan Mountassir, Emilie Oudot: VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. ICFEM 2007: 116-135 |
| 2 | Jacques Julliand, Hassan Mountassir, Emilie Oudot: Preservation of timed properties during an incremental development by components. ISoLA 2007: 159-166 | |
| 2006 | ||
| 1 | EE | Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot: On the Contribution of a tau. Electr. Notes Theor. Comput. Sci. 160: 97-111 (2006) |
| 1 | Françoise Bellegarde (Françoise Bellegarde-Webb) | [1] |
| 2 | Jacques Julliand | [1] [2] [3] |
| 3 | Radu Mateescu | [4] [5] |
| 4 | Hassan Mountassir | [1] [2] [3] |