The SPIF Project. - Bertrand Dupouy; Olivier Hainque; Laurent Pautet; Samuel Tardieu (Ada-Europe, 1997)

Cronos: A Separate Compilation Toolset for Modular Esterel Applications. - Olivier Hainque; Laurent Pautet; Yann Le Biannic; Eric Nassor (World Congress on Formal Methods, 1999)

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. - Robert Dewar; Olivier Hainque; Dirk Craeynest; Philippe Waroquiers (Ada-Europe, 2002)