Accéder directement au contenu
GH

Gautier Hattenberger

4
Documents
Identifiants chercheurs

Présentation

Publications

baptiste-pollien
Image document

A Verified UAV Flight Plan Generator

 Baptiste Pollien , Christophe Garion , Gautier Hattenberger , Pierre Roux , Xavier Thirioux
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2023, Melbourne, Australia. pp.130-140, ⟨10.1109/FormaliSE58978.2023.00021⟩
Communication dans un congrès hal-04165427v1
Image document

Verifying the Mathematical Library of an UAV Autopilot with Frama-C

 Baptiste Pollien , Christophe Garion , Gautier Hattenberger , Pierre Roux , Xavier Thirioux
26th International Conference on Formal Methods for Industrial Critical Systems - FMICS 2021, Aug 2021, Paris, France. ⟨10.1007/978-3-030-85248-1_10⟩
Communication dans un congrès hal-03344191v1
Image document

Formal Verification for Autopilot - Preliminary state of the art

 Christophe Garion , Gautier Hattenberger , Baptiste Pollien , Pierre Roux , Xavier Thirioux
[Technical Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport hal-03255656v1
Image document

A gentle introduction to C code verification using the Frama-C platform

 Christophe Garion , Gautier Hattenberger , Baptiste Pollien , Pierre Roux , Xavier Thirioux
[Research Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport hal-03625208v1