Olivier Hainque

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. Ada-Europe (2002)
Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods (1999)
Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu
The SPIF Project. Ada-Europe (1997)