Benjamin Monate

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Alternative Approaches

Randomly Generated

Top Venues

NASA Formal Methods

Publications

Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Softw. 30 (3) (2013)
Paolo Herms, Claude Marché, Benjamin Monate
A Certified Multi-prover Verification Condition Generator. VSTTE (2012)
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)
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto
Functional dependencies of C functions via weakest pre-conditions. Int. J. Softw. Tools Technol. Transf. 13 (5) (2011)
Jean-Pierre Jouannaud, Benjamin Monate
Infinite Families of Finite String Rewriting Systems and Their Confluence. LPAR (Yogyakarta) (2010)
Géraud Canet, Pascal Cuoq, Benjamin Monate
A Value Analysis for C Programs. SCAM (2009)
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)
Benjamin Monate, Julien Signoles
Slicing for Security of Code. TRUST (2008)
Evelyne Contejean, Antoine Coste, Benjamin Monate
Rewriting Techniques in Theoretical Physics. RTA (2000)