Using Formal Verification Techniques to Reduce Simulation and Test Effort. - Odile Laurent; Pierre Michel; Virginie Wiels (FME, 2001)

Formal proof and test case generation for critical embedded systems using SCADE. - Guy Durrieu; Odile Laurent; Christel Seguin; Virginie Wiels (IFIP Congress Topical Sessions, 2004)

A methodology for automated test generation guided by functional coverage constraints at specification level. - Odile Laurent; Christel Seguin; Virginie Wiels (ASE, 2006)

The aeronautical systems development challenges for Airbus. - Odile Laurent (ISoLA, 2007)

Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process. - Odile Laurent (ICST, 2010)

System-level co-simulation of integrated avionics using polychrony. - Huafeng Yu; Yue Ma 004; Yann Glouche; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Paul Le Guernic; Andres Toom; Odile Laurent (SAC, 2011)

Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. - Jean-Paul Blanquart; Eric Armengaud; Philippe Baufreton; Quentin Bourrouilh; Gerhard Griessnig; Martin Krammer; Odile Laurent; Joseph Machrouh; Thomas Peikenkamp; Cecile Schindler; Tormod Wien (SAFECOMP, 2011)