Publications

Baptiste Pollien, PhD (2023). Formal Verification of an UAV autopilot: Static analysis and Verified Code Generation. Thesis.

PDF Project Project Slides

Baptiste Pollien, PhD, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux (2023). A Verified UAV Flight Plan Generator. In FormaliSE 2023.

PDF Project Slides

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

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

PDF Project Slides Teaser Video

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

PDF Project Slides

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

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