Géraud Canet

Publication Activity (10 Years)

Years Active: 2000-2011
Publications (10 Years): 0

Publications

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)
Gérard M. Dupont, Gaël de Chalendar, Khaled Khelif, Dmitri Voitsekhovitch, Géraud Canet, Stéphan Brunessaux
Evaluation with the VIRTUOSO platform: an open source platform for information extraction and retrieval evaluation. DESIRE@CIKM (2011)
Géraud Canet, Pascal Cuoq, Benjamin Monate
A Value Analysis for C Programs. SCAM (2009)
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)
Géraud Canet, Sandrine Couffin, Jean-Jacques Lesage, Antoine Petit, Philippe Schnoebelen
Towards the automatic verification of PLC programs written in Instruction List. SMC (2000)