Odile Laurent
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2001–2011
Best venue rank
Multiconference
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | SAC | System-level co-simulation of integrated avionics using polychrony. | Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent |
| 2011 | SAFECOMP | 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 |
| 2010 | ICST | Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process. | Odile Laurent |
| 2007 | ISoLA | The aeronautical systems development challenges for Airbus. | Odile Laurent |
| 2001 | FM | Using Formal Verification Techniques to Reduce Simulation and Test Effort. | Odile Laurent, Pierre Michel, Virginie Wiels |