Rewriting Techniques in Theoretical Physics. - Evelyne Contejean; Antoine Coste; Benjamin Monate (RTA, 2000)

Slicing for Security of Code. - Benjamin Monate; Julien Signoles (TRUST, 2008)

Experience report: OCaml for an industrial-strength static analysis framework. - Pascal Cuoq; Julien Signoles; Patrick Baudin; Richard Bonichon; Géraud Canet; Loïc Correnson; Benjamin Monate; Virgile Prevosto; Armand Puccetti (ICFP, 2009)

A Value Analysis for C Programs. - Géraud Canet; Pascal Cuoq; Benjamin Monate (SCAM, 2009)

Infinite Families of Finite String Rewriting Systems and Their Confluence. - Jean-Pierre Jouannaud; Benjamin Monate (LPAR (Yogyakarta), 2010)

Functional dependencies of C functions via weakest pre-conditions. - Pascal Cuoq; Benjamin Monate; Anne Pacalet; Virgile Prevosto (Int. J. Softw. Tools Technol. Transf., 2011)

Testing Static Analyzers with Randomly Generated Programs. - Pascal Cuoq; Benjamin Monate; Anne Pacalet; Virgile Prevosto; John Regehr; Boris Yakobowski; Xuejun Yang (NASA Formal Methods, 2012)

A Certified Multi-prover Verification Condition Generator. - Paolo Herms; Claude Marché; Benjamin Monate (VSTTE, 2012)

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. - Yannick Moy; Emmanuel Ledinot; Hervé Delseny; Virginie Wiels; Benjamin Monate (IEEE Softw., 2013)