On the Contribution of a tau. - Françoise Bellegarde; Jacques Julliand; Hassan Mountassir; Emilie Oudot (FACS, 2005)

Experiments in the use of τ-simulations for the components-verification of real-time systems. - Françoise Bellegarde; Jacques Julliand; Hassan Mountassir; Emilie Oudot (SAVCBS@FSE, 2006)

VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (ICFEM, 2007)

Preservation of timed properties during an incremental development by components. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (ISoLA, 2007)

Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. - Radu Mateescu 001; Emilie Oudot (MEMOCODE, 2008)

Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. - Radu Mateescu 001; Emilie Oudot (SPIN, 2008)

Partitioned PLTL model-checking for refined transition systems. - Jacques Julliand; Pierre-Alain Masson; Emilie Oudot (Inf. Comput., 2009)

Incremental verification of component-based timed systems. - Jacques Julliand; Hassan Mountassir; Emilie Oudot (Int. J. Comput. Appl. Technol., 2011)