Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Report
Date
2022
2021
2020
2013
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
Cite
×