Christophe Garion

According to our database, Christophe Garion authored at least 26 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

A Verified UAV Flight Plan Generator.

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

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

Verification of machine learning based cyber-physical systems: a comparative study.

Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

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

Verifying the Mathematical Library of an UAV Autopilot with Frama-C.

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Safety Verification of Neural Network Controlled Systems.

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

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

Constraint-based Verification of Formation Control.

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

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2019

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

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

2018

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

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

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017

Automated analysis of Stateflow models.

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux

Proceedings of the LPAR-21, 2017

2014

Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models.

Jérôme Hugues, Christophe Garion

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

2010

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations.

Christophe Garion, Stéphanie Roussel, Laurence Cholvy

Rev. d'Intelligence Artif., 2010

2009

How to Complete Regulations in Multi-agent Systems.

Christophe Garion, Stéphanie Roussel, Laurence Cholvy

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

A modal logic for reasoning on consistency and completeness of regulations.

Christophe Garion, Stéphanie Roussel, Laurence Cholvy

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

2007

Situation awareness and ability in coalitions.

Anne-Laure Jousselme, Patrick Maupin, Christophe Garion, Laurence Cholvy, Claire Saurel

Proceedings of the 10th International Conference on Information Fusion, 2007

Deriving individual obligations from collective obligations.

Christophe Garion, Laurence Cholvy

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

2005

Ability in a Multi-agent Context: A Model in the Situation Calculus.

Laurence Cholvy, Christophe Garion, Claire Saurel

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Design by Contract Deontic Design Language for Multiagent Systems.

Christophe Garion, Leendert W. N. van der Torre

Proceedings of the Coordination, 2005

2004

Answering Queries Addressed to Several Databases According to a Majority Merging Approach.

Laurence Cholvy, Christophe Garion

J. Intell. Inf. Syst., 2004

Querying several conflicting databases.

Laurence Cholvy, Christophe Garion

J. Appl. Non Class. Logics, 2004

Strategies for Distributing Goals in a Team of Cooperative Agents.

Laurence Cholvy, Christophe Garion

Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

Desires, Norms and Constraints.

Laurence Cholvy, Christophe Garion

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Distribution of goals addressed to a group of agents.

Laurence Cholvy, Christophe Garion

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach.

Laurence Cholvy, Christophe Garion

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2001

An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties.

Laurence Cholvy, Christophe Garion

Fundam. Informaticae, 2001