Verified programs with binders. - Martin Clochard; Claude Marché; Andrei Paskevich (PLPV, 2014)

Bridging boolean and quantitative synthesis using smoothed proof search. - Swarat Chaudhuri; Martin Clochard; Armando Solar-Lezama (POPL, 2014)

Automatically Verified Implementation of Data Structures Based on AVL Trees. - Martin Clochard (VSTTE, 2014)

Formalizing Semantics with an Automatic Program Verifier. - Martin Clochard; Jean-Christophe Filliâtre; Claude Marché; Andrei Paskevich (VSTTE, 2014)

How to Avoid Proving the Absence of Integer Overflows. - Martin Clochard; Jean-Christophe Filliâtre; Andrei Paskevich (VSTTE, 2015)

A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links. - Ran Chen; Martin Clochard; Claude Marché (J. Formaliz. Reason., 2017)

The Matrix Reproved (Verification Pearl). - Martin Clochard; Léon Gondelman; Mário Pereira (J. Autom. Reason., 2018)

Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels. (Methods and tools for specification and proof of difficult properties of sequential programs). - Martin Clochard (2018)

Igloo: soundly linking compositional refinement and separation logic for distributed system verification. - Christoph Sprenger 001; Tobias Klenze; Marco Eilers; Felix A. Wolf; Peter Müller 001; Martin Clochard; David A. Basin (Proc. ACM Program. Lang., 2020)

Deductive verification with ghost monitors. - Martin Clochard; Claude Marché; Andrei Paskevich (Proc. ACM Program. Lang., 2020)

Gobra: Modular Specification and Verification of Go Programs. - Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João Carlos Pereira; Peter Müller 001 (CAV (1), 2021)

Gobra: Modular Specification and Verification of Go Programs (extended version). - Felix A. Wolf; Linard Arquint; Martin Clochard; Wytse Oortwijn; João Carlos Pereira; Peter Müller 001 (CoRR, 2021)