Emilie Oudot
According to our database1,
Emilie Oudot
authored at least 8 papers
between 2005 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Int. J. Comput. Appl. Technol., 2011
2009
2008
Proceedings of the Model Checking Software, 2008
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008
2007
Proceedings of the ISoLA 2007, 2007
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.
Proceedings of the Formal Methods and Software Engineering, 2007
2006
Experiments in the use of τ-simulations for the components-verification of real-time systems.
Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006
2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005