| |
| 2002 | ||
|---|---|---|
| 3 | EE | Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers: Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. Ada-Europe 2002: 193-204 |
| 1999 | ||
| 2 | EE | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor: Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods 1999: 1836-1853 |
| 1997 | ||
| 1 | Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu: The SPIF Project. Ada-Europe 1997: 46-55 | |
| 1 | Yann Le Biannic | [2] |
| 2 | Dirk Craeynest | [3] |
| 3 | Robert Dewar | [3] |
| 4 | Bertrand Dupouy | [1] |
| 5 | Eric Nassor | [2] |
| 6 | Laurent Pautet | [1] [2] |
| 7 | Samuel Tardieu | [1] |
| 8 | Philippe Waroquiers | [3] |