Patrick Baudin

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 1

Top Topics

Software Components

Top Venues

Publications

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
The dogged pursuit of bug-free C programs: the Frama-C software analysis platform. Commun. ACM 64 (8) (2021)
Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
Experience report: OCaml for an industrial-strength static analysis framework. ICFP (2009)
Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams
CAVEAT: A Tool for Software Validation. DSN (2002)
Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. World Congress on Formal Methods (1999)
C. Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin
Using formal methods to validate C programs. ISSRE (1994)