Christophe Garion

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