Verifying the Mathematical Library of an UAV Autopilot with Frama-C B Pollien, C Garion, G Hattenberger, P Roux, X Thirioux Formal Methods for Industrial Critical Systems: 26th International …, 2021 | 7 | 2021 |
Improving a Verified Flight Plan Generator: New Properties and Code Modifications V Wasquel, B Pollien, C Garion, X Thirioux ISAE-Institut Supérieur de l'Aéronautique et de l'Espace, 2023 | 3 | 2023 |
Vérification d’une bibliothèque mathématique d’un autopilote avec Frama-C B Pollien Approches formelles dans l'assistance au développement de logiciels-AFADL …, 2021 | 3 | 2021 |
Formal Verification for Autopilot-Preliminary state of the art B Pollien, X Thirioux, C Garion, H Gautier, P Roux | 3 | 2021 |
A gentle introduction to C code verification using the Frama-C platform C Garion, G Hattenberger, B Pollien, P Roux, X Thirioux ISAE-SUPAERO; ONERA--The French Aerospace Lab; ENAC, 2022 | 2 | 2022 |
A Verified UAV Flight Plan Generator B Pollien, C Garion, G Hattenberger, P Roux, X Thirioux 2023 IEEE/ACM 11th International Conference on Formal Methods in Software …, 2023 | 1 | 2023 |
Formal Verification of an UAV autopilot: Static analysis and Verified Code Generation B Pollien Institut supérieur de l'Aéronautique et de l'Espace (ISAE), 2023 | | 2023 |
Vérification formelle du fonctionnement d’un autopilote: analyse statique et génération de code vérifiée B Pollien Toulouse, ISAE, 2023 | | 2023 |
Formal Verification for Autopilot-Preliminary state of the art C Garion, G Hattenberger, B Pollien, P Roux, X Thirioux ISAE-SUPAERO; ONERA--The French Aerospace Lab; ENAC, 2022 | | 2022 |
Photographie Computationnelle Embarquée: 3D Mono-Caméra B Pollien, S Mancini | | 2019 |