Christophe Garion

17
Documents

Publications

Publications

Deposit thumbnail

SAM : un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronaux

Arthur Claviere , Eric Asselin , Christophe Garion , Claire Pagetti

Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France

Communication dans un congrès hal-04465231v1
Deposit thumbnail

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
Deposit thumbnail

Safety Verification of Neural Network Controlled Systems

Arthur Clavière , Eric Asselin , Christophe Garion , Claire Pagetti

51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2021, Taipei, Taiwan

Communication dans un congrès hal-02975455v2

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux , Ghiles Ziat et al.

8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩

Communication dans un congrès hal-03587676v1
Deposit thumbnail

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

Constraint-based Verification of Formation Control

Julien Alexandre Dit Sandretto , Alexandre Chapoutot , Christophe Garion , Xavier Thirioux , Ghiles Ziat

2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩

Communication dans un congrès hal-03587686v1

Abstract domains for constraint programming with differential equations

Ghiles Ziat , Olivier Mullier , Julien Alexandre Dit Sandretto , Christophe Garion , Alexandre Chapoutot et al.

NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩

Communication dans un congrès hal-03068260v1
Deposit thumbnail

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code

Guillaume Davy , Christophe Garion , Pierre-Loïc Garoche , Pierre Roux , Xavier Thirioux

2018 Forum on specification & Design Languages (FDL), Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩

Communication dans un congrès hal-02163873v1
Deposit thumbnail

Automated analysis of Stateflow models

Hamza Bourbouh , Pierre-Loïc Garoche , Christophe Garion , Arie Gurfinkel , Temesghen Kahsai et al.

21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), May 2017, Maun, Botswana. pp.144-161

Communication dans un congrès hal-02092930v1
Deposit thumbnail

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 (rapport technique) hal-03255656v1
Deposit thumbnail

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 (rapport de recherche) hal-03625208v1

Normes et logique déontique

Frédéric Cuppens , Christophe Garion , Guillaume Piolle , Nora Cuppens-Boulahia

Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle : Volume 1. Représentation des connaissances et formalisation des raisonnements, Cépaduès Editions, pp.215-237, 2014

Chapitre d'ouvrage hal-00997137v1