An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. - Laurence Cholvy; Christophe Garion (Fundam. Informaticae, 2001)

Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. - Laurence Cholvy; Christophe Garion (ISMIS, 2002)

Distribution of goals addressed to a group of agents. - Laurence Cholvy; Christophe Garion (AAMAS, 2003)

Desires, Norms and Constraints. - Laurence Cholvy; Christophe Garion (AAMAS, 2004)

Strategies for Distributing Goals in a Team of Cooperative Agents. - Laurence Cholvy; Christophe Garion (ESAW, 2004)

Querying several conflicting databases. - Laurence Cholvy; Christophe Garion (J. Appl. Non Class. Logics, 2004)

Answering Queries Addressed to Several Databases According to a Majority Merging Approach. - Laurence Cholvy; Christophe Garion (J. Intell. Inf. Syst., 2004)

Design by Contract Deontic Design Language for Multiagent Systems. - Christophe Garion; Leendert W. N. van der Torre (AAMAS Workshops, 2005)

Ability in a Multi-agent Context: A Model in the Situation Calculus. - Laurence Cholvy; Christophe Garion; Claire Saurel (CLIMA, 2005)

Deriving individual obligations from collective obligations. - Christophe Garion; Laurence Cholvy (Normative Multi-agent Systems, 2007)

Situation awareness and ability in coalitions. - Anne-Laure Jousselme; Patrick Maupin; Christophe Garion; Laurence Cholvy; Claire Saurel (FUSION, 2007)

A modal logic for reasoning on consistency and completeness of regulations. - Christophe Garion; Stéphanie Roussel 001; Laurence Cholvy (Normative Multi-Agent Systems, 2009)

How to Complete Regulations in Multi-agent Systems. - Christophe Garion; Stéphanie Roussel 001; Laurence Cholvy (IAT, 2009)

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. - Christophe Garion; Stéphanie Roussel 001; Laurence Cholvy (Rev. d'Intelligence Artif., 2010)

Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. - Jérôme Hugues; Christophe Garion (HILT, 2014)

Automated analysis of Stateflow models. - Hamza Bourbouh; Pierre-Loïc Garoche; Christophe Garion; Arie Gurfinkel; Temesghen Kahsai; Xavier Thirioux (LPAR, 2017)

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. - Guillaume Davy; Christophe Garion; Pierre-Loïc Garoche; Pierre Roux 001; Xavier Thirioux (FDL, 2018)

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. - Léo Creuse; Claire Dross; Christophe Garion; Jérôme Hugues; Joffrey Huguet (FMTea, 2019)

Norms and Deontic Logic. - Frédéric Cuppens; Christophe Garion; Guillaume Piolle; Nora Cuppens-Boulahia (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

Abstract domains for constraint programming with differential equations. - Ghiles Ziat; Olivier Mullier; Julien Alexandre Dit Sandretto; Christophe Garion; Alexandre Chapoutot; Xavier Thirioux (NSAD@SAS, 2020)

Constraint-based Verification of Formation Control. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Christophe Garion; Xavier Thirioux; Ghiles Ziat (CDC, 2021)

Safety Verification of Neural Network Controlled Systems. - Arthur Clavière; Eric Asselin; Christophe Garion; Claire Pagetti (DSN Workshops, 2021)

Verifying the Mathematical Library of an UAV Autopilot with Frama-C. - Baptiste Pollien; Christophe Garion; Gautier Hattenberger; Pierre Roux 001; Xavier Thirioux (FMICS, 2021)

From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications. - Hamza Bourbouh; Pierre-Loïc Garoche; Christophe Garion; Xavier Thirioux (ACM Trans. Cyber Phys. Syst., 2021)

Verification of machine learning based cyber-physical systems: a comparative study. - Arthur Clavière; Laura Altieri Sambartolomé; Eric Asselin; Christophe Garion; Claire Pagetti (HSCC, 2022)

A Taxonomy of MBSE Approaches by Languages, Tools and Methods. - Pierre de Saqui-Sannes; Rob A. Vingerhoeds; Christophe Garion; Xavier Thirioux (IEEE Access, 2022)

A Verified UAV Flight Plan Generator. - Baptiste Pollien; Christophe Garion; Gautier Hattenberger; Pierre Roux 001; Xavier Thirioux (FormaliSE, 2023)

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. - Lélio Brun; Christophe Garion; Pierre-Loïc Garoche; Xavier Thirioux (ACM Trans. Embed. Comput. Syst., 2023)

A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Christophe Garion; Xavier Thirioux (Acta Cybern., 2024)