Odile Laurent

According to our database, Odile Laurent authored at least 7 papers between 2001 and 2011.

Collaborative distances:

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

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

Proceedings of the Computer Safety, Reliability, and Security, 2011

System-level co-simulation of integrated avionics using polychrony.

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process.

Odile Laurent

Proceedings of the Third International Conference on Software Testing, 2010

2007

The aeronautical systems development challenges for Airbus.

Odile Laurent

Proceedings of the ISoLA 2007, 2007

2006

A methodology for automated test generation guided by functional coverage constraints at specification level.

Odile Laurent, Christel Seguin, Virginie Wiels

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2004

Formal proof and test case generation for critical embedded systems using SCADE.

Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels

Proceedings of the Building the Information Society, 2004

2001

Using Formal Verification Techniques to Reduce Simulation and Test Effort.

Odile Laurent, Pierre Michel, Virginie Wiels

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001