Statistics
Publications
4
Citations
240
H-Index
4
Active since
2002
Affiliations
Géraud Canet is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in computer science, computing, and control-flow analysis.
Publications per year
2002–2009
4
4
Towards the automatic verification of PLC programs written in Instruction List
Géraud Canet, S. Couffin, Jean-Jacques Lesage et al. · 2002 · 120 citations
A Value Analysis for C Programs
Géraud Canet, Pascal Cuoq, Benjamin Monate · 2009 · 67 citations
Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · 2009 · 42 citations
Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · ACM SIGPLAN Notices · 2009 · 11 citations
1–4 of 4