 | 2012 |
|---|
| 8 |       | Pascal 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 |
| 7 | | Paolo Herms,
Claude Marché,
Benjamin Monate:
A Certified Multi-prover Verification Condition Generator.
VSTTE 2012: 2-17 |
| 2011 |
|---|
| 6 | | Pascal Cuoq,
Benjamin Monate,
Anne Pacalet,
Virgile Prevosto:
Functional dependencies of C functions via weakest pre-conditions.
STTT 13(5): 405-417 (2011) |
| 2010 |
|---|
| 5 | | Jean-Pierre Jouannaud,
Benjamin Monate:
Infinite Families of Finite String Rewriting Systems and Their Confluence.
LPAR (Yogyakarta) 2010: 387-401 |
| 2009 |
|---|
| 4 | | Pascal 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 |
| 3 | | Géraud Canet,
Pascal Cuoq,
Benjamin Monate:
A Value Analysis for C Programs.
SCAM 2009: 123-124 |
| 2008 |
|---|
| 2 | | Benjamin Monate,
Julien Signoles:
Slicing for Security of Code.
TRUST 2008: 133-142 |
| 2000 |
|---|
| 1 | | Evelyne Contejean,
Antoine Coste,
Benjamin Monate:
Rewriting Techniques in Theoretical Physics.
RTA 2000: 80-94 |
Data released under the ODC-BY 1.0 license — See also our legal information page