Christophe Garion

Publications

Communication dans un congrès (10)

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams Martin Boniol,Julien Brunel,Jean-Baptiste Chaudron,Christophe Garion,Xavier Thirioux NASA Formal Methods (NFM) 2026, May 2026, Los Angeles (CA), United States Communication dans un congrès hal-05600930v1
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
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
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
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
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Christophe Garion,Xavier Thirioux,Ghiles Ziatet 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
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
Abstract domains for constraint programming with differential equations Ghiles Ziat,Olivier Mullier,Julien Alexandre Dit Sandretto,Christophe Garion,Alexandre Chapoutotet 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
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
Automated analysis of Stateflow models Hamza Bourbouh,Pierre-Loïc Garoche,Christophe Garion,Arie Gurfinkel,Temesghen Kahsaiet 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

Article dans une revue (4)

A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations Julien Alexandre dit Sandretto,Alexandre Chapoutot,Christophe Garion,Xavier Thirioux Acta Cybernetica, 2024, 26 (4), ⟨10.14232/actacyb.300771⟩ Article dans une revue hal-04828396v1
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation Lélio Brun,Christophe Garion,Pierre-Loïc Garoche,Xavier Thirioux ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5), pp.151. ⟨10.1145/3609393⟩ Article dans une revue hal-04201875v1
From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications Hamza Bourbouh,Pierre-Loïc Garoche,Christophe Garion,Xavier Thirioux ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.1-20. ⟨10.1145/3461668⟩ Article dans une revue hal-03323076v1
SPARK by Example: an introduction to formal verification through the standard C++ library Léo Creuse,Joffrey Huguet,Christophe Garion,Jérôme Hugues Ada Letters, 2018, 38 (2), pp.89-96. ⟨10.1145/3375408.3375415⟩ Article dans une revue hal-02417184v1

Rapport (2)

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

Chapitre d'ouvrage (1)

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

Pré-publication, Document de travail (1)

Modélisation de réglementations pour le partage d'information dans un SMA Laurence Cholvy,Christophe Garion,Claire Saurel 2007 Pré-publication, Document de travail hal-00192341v1