Emilie Oudot

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Jacques Julliand, Hassan Mountassir, Emilie Oudot
Incremental verification of component-based timed systems. Int. J. Comput. Appl. Technol. 42 (2/3) (2011)
Jacques Julliand, Pierre-Alain Masson, Emilie Oudot
Partitioned PLTL model-checking for refined transition systems. Inf. Comput. 207 (6) (2009)
Radu Mateescu, Emilie Oudot
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. MEMOCODE (2008)
Radu Mateescu, Emilie Oudot
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. SPIN (2008)
Jacques Julliand, Hassan Mountassir, Emilie Oudot
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. ICFEM (2007)
Jacques Julliand, Hassan Mountassir, Emilie Oudot
Preservation of timed properties during an incremental development by components. ISoLA (2007)
Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
Experiments in the use of τ-simulations for the components-verification of real-time systems. SAVCBS@FSE (2006)
Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot
On the Contribution of a tau. Electron. Notes Theor. Comput. Sci. 160 (2006)