| 2024 | FMCAD | Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function. | Paul Bonnot, Benot Boyer, Florian Faissole, Claude March, Raphal Rieu-Helft |
| 2022 | ICFEM | Creusot: A Foundry for the Deductive Verification of Rust Programs. | Xavier Denis, Jacques-Henri Jourdan, Claude March |
| 2021 | FMICS | Automated Verification of Temporal Properties of Ladder Programs. | Cludio Belo Loureno, Denis Cousineau, Florian Faissole, Claude March, David Mentr, Hiroaki Inoue |
| 2020 | TACAS | Analysing installation scenarios of Debian packages. | Benedikt F. H. Becker, Nicolas Jeannerod, Claude March, Yann Rgis-Gianas, Mihaela Sighireanu, Ralf Treinen |
| 2016 | ISoLA | Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014. | Nikolai Kosmatov, Claude March, Yannick Moy, Julien Signoles |
| 2016 | SEFM | Counterexamples from Proof Failures in SPARK. | David Hauzar, Claude March, Yannick Moy |
| 2011 | CPP | Hardware-Dependent Proofs of Numerical Programs. | Thi Minh Tuyen Nguyen, Claude March |
| 2010 | CADE | Multi-Prover Verification of Floating-Point Programs. | Ali Ayad, Claude March |
| 2007 | CAV | The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. | Jean-Christophe Fillitre, Claude March |
| 2006 | SEFM | Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. | Claude March, Nicolas Rousset |
| 2005 | SEFM | A case study of C source code verification: the Schorr-Waite algorithm. | Thierry Hubert, Claude March |
| 2004 | ICFEM | Multi-prover Verification of C Programs. | Jean-Christophe Fillitre, Claude March |
| 2004 | PEPM | Proving termination of membership equational programs. | Francisco Durn, Salvador Lucas, Jos Meseguer, Claude March, Xavier Urbain |
| 1994 | LICS | Normalised Rewriting and Normalised Completion | Claude March |