Pierre-Emmanuel Cornilleau

According to our database, Pierre-Emmanuel Cornilleau authored at least 5 papers between 2011 and 2013.

Collaborative distances:

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

2013

Certification of static analysis in many-sorted first-order logic. (Analyse statique certifiée en logique du premier ordre multi-sortée).

Pierre-Emmanuel Cornilleau

PhD thesis, 2013

Result Certification of Static Program Analysers with Automated Theorem Provers.

Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas P. Jensen

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

2012

Walking through the Forest: Fast EUF Proof-Checking Algorithms.

Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

2011

A Nelson-Oppen based Proof System using Theory Specific Proof Systems.

Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie

Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011

Modular SMT Proofs for Fast Reflexive Checking Inside Coq.

Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie

Proceedings of the Certified Programs and Proofs - First International Conference, 2011