Olivier Hainque

According to our database, Olivier Hainque authored at least 3 papers between 1997 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2002

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.

Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers

Proceedings of the Reliable Software Technologies, 2002

1999

Cronos: A Separate Compilation Toolset for Modular Esterel Applications.

Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor

Proceedings of the FM'99 - Formal Methods, 1999

1997

The SPIF Project.

Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu

Proceedings of the Reliable Software Technologies, 1997