| |
| 2007 | ||
|---|---|---|
| 4 | Odile Laurent: The aeronautical systems development challenges for Airbus. ISoLA 2007: 5 | |
| 2006 | ||
| 3 | EE | Odile Laurent, Christel Seguin, Virginie Wiels: A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288 |
| 2004 | ||
| 2 | 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: 499-504 | |
| 2001 | ||
| 1 | EE | Odile Laurent, Pierre Michel, Virginie Wiels: Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477 |
| 1 | Guy Durrieu | [2] |
| 2 | Pierre Michel | [1] |
| 3 | Christel Seguin | [2] [3] |
| 4 | Virginie Wiels | [1] [2] [3] |