 | 2009 |
|---|
| 6 |       | Jacques Julliand,
Pierre-Alain Masson,
Emilie Oudot:
Partitioned PLTL model-checking for refined transition systems.
Inf. Comput. 207(6): 681-698 (2009) |
| 2008 |
|---|
| 5 | | Radu Mateescu,
Emilie Oudot:
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.
MEMOCODE 2008: 73-74 |
| 4 | | Radu Mateescu,
Emilie Oudot:
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.
SPIN 2008: 196-213 |
| 2007 |
|---|
| 3 | | 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 | | Françoise Bellegarde,
Jacques Julliand,
Hassan Mountassir,
Emilie Oudot:
On the Contribution of a tau.
Electr. Notes Theor. Comput. Sci. 160: 97-111 (2006) |
