Emilie Oudot

According to our database, Emilie Oudot authored at least 8 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Incremental verification of component-based timed systems.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Int. J. Comput. Appl. Technol., 2011

2009

Partitioned PLTL model-checking for refined transition systems.

Jacques Julliand, Pierre-Alain Masson, Emilie Oudot

Inf. Comput., 2009

2008

Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.

Radu Mateescu, Emilie Oudot

Proceedings of the Model Checking Software, 2008

Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.

Radu Mateescu, Emilie Oudot

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

2007

Preservation of timed properties during an incremental development by components.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the ISoLA 2007, 2007

VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.

Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Experiments in the use of τ-simulations for the components-verification of real-time systems.

Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

2005

On the Contribution of a tau.

Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005