Towards the automatic verification of PLC programs written in Instruction List. - Géraud Canet; Sandrine Couffin; Jean-Jacques Lesage; Antoine Petit 001; Philippe Schnoebelen (SMC, 2000)

Experience report: OCaml for an industrial-strength static analysis framework. - Pascal Cuoq; Julien Signoles; Patrick Baudin; Richard Bonichon; Géraud Canet; Loïc Correnson; Benjamin Monate; Virgile Prevosto; Armand Puccetti (ICFP, 2009)

A Value Analysis for C Programs. - Géraud Canet; Pascal Cuoq; Benjamin Monate (SCAM, 2009)

Evaluation with the VIRTUOSO platform: an open source platform for information extraction and retrieval evaluation. - Gérard M. Dupont; Gaël de Chalendar; Khaled Khelif; Dmitri Voitsekhovitch; Géraud Canet; Stéphan Brunessaux (DESIRE@CIKM, 2011)

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. - Richard Bonichon; Géraud Canet; Loïc Correnson; Eric Goubault; Emmanuel Haucourt; Michel Hirschowitz; Sébastien Labbé 002; Samuel Mimram (SAFECOMP, 2011)