Géraud Canet

	2011
3		Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram: Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP 2011: 85-98
	2009
2		Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti: Experience report: OCaml for an industrial-strength static analysis framework. ICFP 2009: 281-286
1		Géraud Canet, Pascal Cuoq, Benjamin Monate: A Value Analysis for C Programs. SCAM 2009: 123-124

Coauthor Index

1	Patrick Baudin	[2]
2	Richard Bonichon	[2] [3]
3	Loïc Correnson	[2] [3]
4	Pascal Cuoq	[1] [2]
5	Eric Goubault	[3]
6	Emmanuel Haucourt	[3]
7	Michel Hirschowitz	[3]
8	Sébastien Labbé	[3]
9	Samuel Mimram	[3]
10	Benjamin Monate	[1] [2]
11	Virgile Prevosto	[2]
12	Armand Puccetti	[2]
13	Julien Signoles	[2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page