Patrick Baudin

According to our database, Patrick Baudin authored at least 5 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

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

2009

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

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2002

CAVEAT: A Tool for Software Validation.

Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

1999

Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.

Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen

Proceedings of the FM'99 - Formal Methods, 1999

1994

Using formal methods to validate C programs.

Christian Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994