Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Recent & Upcoming Talks
2023
Formal Verification of an UAV autopilot: Static analysis and Verified Code Generation
Nov 16, 2023 10:00 AM
ISAE-SUPAERO - Toulouse, FRANCE
Thesis Defense
Project
Slides
Formal verification of an UAV autopilot
Jun 23, 2023
ISAE-SUPAERO
JDD @ DISC 2023
Slides
A Verified UAV Flight Plan Generator
May 15, 2023 2:15 PM
Melbourne
FormaliSE 2023
Slides
2022
Paparazzi UAV Flight Plan Generator Verified in Coq
Jun 15, 2022 5:30 PM
ENSTA Paris
AID Seminare 2022
Slides
Paparazzi UAV Flight Plan Generator Verified in Coq
Apr 14, 2022 2:30 PM
ISAE-SUPAERO
Concorde Seminare 2022
Slides
2021
Formal verification of an UAV autopilot
Dec 1, 2021
ISAE-SUPAERO
JDD @ DISC 2021
Slides
Verifying the Mathematical Library of a UAV Autopilot with Frama-C
Oct 14, 2021
ENAC
IFSE: Journées FAC 2021
Project
Slides
Verifying the Mathematical Library of a UAV Autopilot with Frama-C
Aug 24, 2021 2:30 PM
Videoconference
FMICS 2021
Project
Slides
Video
Verifying the Mathematical Library of a UAV Autopilot with Frama-C
Jul 12, 2021
Banyuls
SYFI Workshop 2021
Project
Slides
Les méthodes formelles - État de l'art
Jul 2, 2021
ONERA
Séminaire COVNI
Slides
Vérification d’une bibliothèque mathématique d’un autopilote avec Frama-C
Jun 18, 2021
Videoconference
AFADL 2021
Project
Slides
Cite
×