| |
| 2002 | ||
|---|---|---|
| 3 | EE | Marielle Doche, Andrew M. Gravell: Extraction of Abstraction Invariants for Data Refinement. ZB 2002: 120-139 |
| 2001 | ||
| 2 | EE | Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon: A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME 2001: 590-610 |
| 2000 | ||
| 1 | EE | Marielle Doche, Virginie Wiels: Extended Institutions for Testing. AMAST 2000: 514-528 |
| 1 | Andrew M. Gravell | [3] |
| 2 | Fabrice Kordon | [2] |
| 3 | Isabelle Vernier-Mounier | [2] |
| 4 | Virginie Wiels | [1] |