Doodle

Bibliography

But you can go on thinking and imagining forever further and stop at no decisions to pick up a bag for the thinkings. Turn your thinking into your work, your thoughts a book, in sieges.
— Jack Kerouac, Road Workbook - Mexico, 1950.

Refereed journal publications

  • The Proof Monad. [ee] [bib]
  • The Journal of Logic and Algebraic Programming, Volume 79, Issues 3-5, 2010.
  • with César Muñoz.

Refereed conference & workshop publications

  • Secure the Clones: Static Enforcement of Secure Object Copying. [ee] [bib] [...]
  • Programming Languages and Systems, volume 6602 of Lecture Notes in Computer Science, 2011.
  • with Thomas Jensen and David Pichardie.
  • 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]
  • 6th International Workshop on Strategies in Automated Deduction, volume 174/11 of Electronic Notes in Theoretical Computer Science, 2007.
  • with César Muñoz.
  • 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 & 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.

Short Papers

  • Thinking Outside the (Arithmetic) Box: Certifying RAHD Computations.
  • Short paper, Logics for System Analysis, 2010.
  • with Grant Olney Passmore.

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.
Loading...