Odile Laurent

Publication Activity (10 Years)

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

Publications

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
System-level co-simulation of integrated avionics using polychrony. SAC (2011)
Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. SAFECOMP (2011)
Odile Laurent
Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process. ICST (2010)
Odile Laurent
The aeronautical systems development challenges for Airbus. ISoLA (2007)
Odile Laurent, Christel Seguin, Virginie Wiels
A methodology for automated test generation guided by functional coverage constraints at specification level. ASE (2006)
Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels
Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions (2004)
Odile Laurent, Pierre Michel, Virginie Wiels
Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME (2001)