Refereed publications
- Constraint Based Strategies.
[ee]
[bib]
- Functional and Constraint Logic Programming, volume
5979 of Lecture Notes in Computer Science, 2010.
- with Hélène Kirchner and Claude Kirchner
- System Support for Forensic Evidence.
[ee]
[bib]
- Advances in Digital Forensics V,
volume 306 of IFIP Advances in Information and Communication Technology, 2009.
- with Ashish Gehani and Natarajan Shankar
- Strategic Computations and Deductions.
[ee]
[bib]
- Reasoning in Simple Type Theory,
volume 17 of Mathematical Logic and Foundations, 2008.
- with Hélène Kirchner and Claude Kirchner
- PVS#: Streamlined Tacticals for PVS.
[ee]
[bib]
- with César Muñoz
- 6th International Workshop on Strategies in Automated
Deduction,
volume 174/11 of Electronic Notes in Theoretical Computer Science, 2007.
- Rule-Based Operational Semantics for an Imperative Language.
[ee]
[bib]
- 7th International Workshop on Rule-Based Programming,
volume 174/1 of Electronic Notes in Theoretical Computer Science, 2007.
- with François-Régis Sinot
- A Finite First-Order Theory of Classes.
[ee]
[bib]
- Types for Proofs and Programs, Revised Selected Papers,
volume 4502 of Lecture Notes in Computer Science, 2007.
- Store-Based Operational Semantics.
[ee]
[bib]
- Seizièmes Journées Francophones des Langages
Applicatifs, 2005.
- Coq Tacticals and PVS Strategies: A Small Step Semantics.
[ee]
[bib]
- Design and Application of Strategies/Tactics in Higher
Order Logics,
volume 212448 of NASA Conference Proceedings, 2003.
Memoirs and Technical Reports
- Interoperable Proof Systems.
[ee]
[bib]
- Ph.D manuscript,
Ecole Polytechnique, 2007.
- Towards a Common Tactical Language: The Case of Coq and PVS.
[ee]
[bib]
- Master's thesis, DEA Programmation : Sémantique, Preuves
et Langages, 2003.
- Air Traffic Conflict Resolution and Recovery.
[ee]
[bib]
- ICASE Technical Report 2002-12, 2002.
- with Alfons Geser, César Muñoz and
Gilles Dowek
- Optimal unconstrained solution to conflict resolution
in 3-D airspace.
- Internship Report, 2001.
Manuals and Documentation
- The Evidential Tool Bus.
[ee]
[bib]
- with the CSL Formal Methods and Dependable Systems
Group
- 2008.
- The Fellowship Proof Manager.
[ee]
[bib]
- with Claudio Sacerdoti Coen
- 2007.
- Coq Version 8.0 for the Clueless.
[ee]
[bib]
- with Hugo Herbelin, Benjamin Monate and Julien Narboux
- 2004.