Géraud Canet

According to our database, Géraud Canet authored at least 5 papers between 2000 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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é, Samuel Mimram

Proceedings of the Computer Safety, Reliability, and Security, 2011

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

Proceedings of the 2011 Workshop on Data Infrastructures for Supporting Information Retrieval Evaluation, 2011

2009

A Value Analysis for C Programs.

Géraud Canet, Pascal Cuoq, Benjamin Monate

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

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

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2000

Towards the automatic verification of PLC programs written in Instruction List.

Géraud Canet, Sandrine Couffin, Jean-Jacques Lesage, Antoine Petit, Philippe Schnoebelen

Proceedings of the IEEE International Conference on Systems, 2000