Using formal methods to validate C programs. - Christian Antoine; Patrick Baudin; J. M. Collart; Jacques Raguideau; A. Trotin (ISSRE, 1994)

Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. - Famantanantsoa Randimbivololona; Jean Souyris; Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen (World Congress on Formal Methods, 1999)

CAVEAT: A Tool for Software Validation. - Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen; Nicky Williams (DSN, 2002)

Experience report: OCaml for an industrial-strength static analysis framework. - Pascal Cuoq; Julien Signoles; Patrick Baudin; Richard Bonichon; Géraud Canet; Loïc Correnson; Benjamin Monate; Virgile Prevosto; Armand Puccetti (ICFP, 2009)

The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. - Patrick Baudin; François Bobot; David Bühler; Loïc Correnson; Florent Kirchner; Nikolai Kosmatov; André Maroneze; Valentin Perrelle; Virgile Prevosto; Julien Signoles; Nicky Williams (Commun. ACM, 2021)