Benjamin Monate

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.
IEEE Softw., 2013

2012
A Certified Multi-prover Verification Condition Generator.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Testing Static Analyzers with Randomly Generated Programs.
Proceedings of the NASA Formal Methods, 2012

2011
Functional dependencies of C functions via weakest pre-conditions.
Int. J. Softw. Tools Technol. Transf., 2011

2010
Infinite Families of Finite String Rewriting Systems and Their Confluence.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009
A Value Analysis for C Programs.
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.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
Slicing for Security of Code.
Proceedings of the Trusted Computing, 2008

2000
Rewriting Techniques in Theoretical Physics.
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000


  Loading...