Graud Canet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2000–2011
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CIKM | Evaluation with the VIRTUOSO platform: an open source platform for information extraction and retrieval evaluation. | Grard M. Dupont, Gal de Chalendar, Khaled Khelif, Dmitri Voitsekhovitch, Graud Canet, Stphan Brunessaux |
| 2011 | SAFECOMP | Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. | Richard Bonichon, Graud Canet, Loc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sbastien Labb, Samuel Mimram |
| 2009 | ICFP | Experience report: OCaml for an industrial-strength static analysis framework. | Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Graud Canet, Loc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti |
| 2009 | SCAM | A Value Analysis for C Programs. | Graud Canet, Pascal Cuoq, Benjamin Monate |
| 2000 | SMC | Towards the automatic verification of PLC programs written in Instruction List. | Graud Canet, Sandrine Couffin, Jean-Jacques Lesage, Antoine Petit, Philippe Schnoebelen |