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