Emilie Oudot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2007–2008
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | MEMOCODE | Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. | Radu Mateescu, Emilie Oudot |
| 2007 | ICFEM | VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
| 2007 | ISoLA | Preservation of timed properties during an incremental development by components. | Jacques Julliand, Hassan Mountassir, Emilie Oudot |