dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pascal Cuoq (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang: Testing Static Analyzers with Randomly Generated Programs. NASA Formal Methods 2012: 120-125
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto: Functional dependencies of C functions via weakest pre-conditions. STTT 13(5): 405-417 (2011)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti: Experience report: OCaml for an industrial-strength static analysis framework. ICFP 2009: 281-286
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGéraud Canet, Pascal Cuoq, Benjamin Monate: A Value Analysis for C Programs. SCAM 2009: 123-124

Selection of 4 from 8 records - Pascal Cuoq has 17 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page