Christophe Garion

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 12

Top Topics

Aerial Vehicles

Abductive Inference

Embedded Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
A Verified UAV Flight Plan Generator. FormaliSE (2023)
Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux
A Taxonomy of MBSE Approaches by Languages, Tools and Methods. IEEE Access 10 (2022)
Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti
Verification of machine learning based cyber-physical systems: a comparative study. HSCC (2022)
Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. FMICS (2021)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
Constraint-based Verification of Formation Control. CDC (2021)
Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti
Safety Verification of Neural Network Controlled Systems. DSN Workshops (2021)
Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux
From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications. ACM Trans. Cyber Phys. Syst. 5 (3) (2021)
Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti
Safety Verification of Neural Network Controlled Systems. CoRR (2020)
Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. FMTea (2019)
Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. FDL (2018)
Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux
Automated analysis of Stateflow models. LPAR (2017)
Jérôme Hugues, Christophe Garion
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. HILT (2014)
Christophe Garion, Stéphanie Roussel, Laurence Cholvy
Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. Rev. d'Intelligence Artif. 24 (3) (2010)
Christophe Garion, Stéphanie Roussel, Laurence Cholvy
A modal logic for reasoning on consistency and completeness of regulations. Normative Multi-Agent Systems (2009)
Christophe Garion, Stéphanie Roussel, Laurence Cholvy
How to Complete Regulations in Multi-agent Systems. IAT (2009)
Anne-Laure Jousselme, Patrick Maupin, Christophe Garion, Laurence Cholvy, Claire Saurel
Situation awareness and ability in coalitions. FUSION (2007)
Christophe Garion, Laurence Cholvy
Deriving individual obligations from collective obligations. Normative Multi-agent Systems (2007)
Christophe Garion, Leendert W. N. van der Torre
Design by Contract Deontic Design Language for Multiagent Systems. AAMAS Workshops (2005)
Laurence Cholvy, Christophe Garion, Claire Saurel
Ability in a Multi-agent Context: A Model in the Situation Calculus. CLIMA (2005)
Laurence Cholvy, Christophe Garion
Answering Queries Addressed to Several Databases According to a Majority Merging Approach. J. Intell. Inf. Syst. 22 (2) (2004)
Laurence Cholvy, Christophe Garion
Strategies for Distributing Goals in a Team of Cooperative Agents. ESAW (2004)
Laurence Cholvy, Christophe Garion
Querying several conflicting databases. J. Appl. Non Class. Logics 14 (3) (2004)
Laurence Cholvy, Christophe Garion
Desires, Norms and Constraints. AAMAS (2004)
Laurence Cholvy, Christophe Garion
Distribution of goals addressed to a group of agents. AAMAS (2003)
Laurence Cholvy, Christophe Garion
Deriving individual obligations from collective obligations. AAMAS (2003)
Laurence Cholvy, Christophe Garion
Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. ISMIS (2002)
Laurence Cholvy, Christophe Garion
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. Fundam. Informaticae 48 (2-3) (2001)