Benjamin Monate

According to our database, Benjamin Monate authored at least 9 papers between 2000 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.

Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate

IEEE Softw., 2013

2012

A Certified Multi-prover Verification Condition Generator.

Paolo Herms, Claude Marché, Benjamin Monate

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Testing Static Analyzers with Randomly Generated Programs.

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang

Proceedings of the NASA Formal Methods, 2012

2011

Functional dependencies of C functions via weakest pre-conditions.

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto

Int. J. Softw. Tools Technol. Transf., 2011

2010

Infinite Families of Finite String Rewriting Systems and Their Confluence.

Jean-Pierre Jouannaud, Benjamin Monate

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

A Value Analysis for C Programs.

Géraud Canet, Pascal Cuoq, Benjamin Monate

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

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

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Slicing for Security of Code.

Benjamin Monate, Julien Signoles

Proceedings of the Trusted Computing, 2008

2000

Rewriting Techniques in Theoretical Physics.

Evelyne Contejean, Antoine Coste, Benjamin Monate

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000