8
Publications
496
Citations
8
H-Index
2009
Active since
Pascal Cuoq is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringSystem SoftwareSoftware Testing
Publications per year
2009–2013
8
8
Test-case reduction for C compiler bugs
John Regehr, Yang Chen, Pascal Cuoq et al. · 2012 · 286 citations
A Value Analysis for C Programs
Géraud Canet, Pascal Cuoq, Benjamin Monate · 2009 · 67 citations
Mathematical Programming, Engineering, Compiler Technology +19
Test-case reduction for C compiler bugs
John Regehr, Yang Chen, Pascal Cuoq et al. · ACM SIGPLAN Notices · 2012 · 49 citations
Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · 2009 · 42 citations
High-level Programming Language, Engineering, Implementation Language +15
Rows per page
1–5 of 8