Olivier Hainque

	2002
3		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		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

Coauthor Index

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]

Colors in the list of coauthors