Publications

Christophe Garion, Gautier Hattenberger, Baptiste Pollien, Pierre Roux, Xavier Thirioux (2022). A gentle introduction to C code verification using the Frama-C platform.

PDF Cite

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux (2021). Verifying the Mathematical Library of a UAV Autopilot with Frama-C. In FMICS 2021.

PDF Cite Project Slides Teaser Video

Baptiste Pollien (2021). Vérification d'une bibliothèque mathématique d'un autopilote avec Frama-C. In AFADL 2021.

PDF Cite Project Slides

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux (2020). Formal Verification for Autopilot – Preliminary state of the art.

PDF Cite

Baptiste Pollien, Robert Ford (2013). An example conference paper. In ICW.

Cite Slides