L’excellence passionnément
- Accueil
- Christophe Garion
- Flux publications Open Science
Flux publications Open Science
Mis à jour le
Alexandre Dit Sandretto Julien, Chapoutot Alexandre, Garion Christophe, Thirioux Xavier, A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations. 2024, Acta Cybernetica. 26 (4). ISSN 0324-721X
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations
Brun, Lélio, Garion Christophe, Garoche Pierre-Loic, Thirioux Xavier, Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. 2023, ACM Transactions on Embedded Computing Systems. 22 (5). 1–24. ISSN 1539-9087
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Pollien, Baptiste, Garion Christophe, Hattenberger Gautier, Roux Pierre, Thirioux Xavier, A Verified UAV Flight Plan Generator : 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE). 2023, 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023-05-15 - 2023-05-14 (2023-05-14, Melbourne)
Saqui-Sannes Pierre de, Vingerhoeds Rob A., Garion Christophe, Thirioux Xavier, A Taxonomy of MBSE Approaches by Languages, Tools and Methods. 2022, IEEE Access. 10. 120936-120950. ISSN 2169-3536
A Taxonomy of MBSE Approaches by Languages, Tools and Methods
Clavière Arthur, Altieri Sambartolomé Laura, Asselin Eric, Garion Christophe, Pagetti Claire, Verification of machine learning based cyber-physical systems : a comparative study : 25th ACM International Conference on Hybrid Systems : Computation and Control. 2022, HSCC ’22 : 25th ACM International Conference on Hybrid Systems : Computation and Control, 2022-05-04 - 2022-05-06 (2022-05-06, Milan)
Bourbouh Hamza, Garoche Pierre-Loic, Garion Christophe, Thirioux Xavier, From Lustre to Simulink : reverse compilation for verifying Embedded Systems Applications. 2021, ACM Transactions on Cyber-Physical Systems. 5 (3). 1-20. ISSN 2378-962X
From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications
Alexandre Dit Sandretto Julien, Chapoutot Alexandre, Garion Christophe, Thirioux Xavier, Ziat Ghiles, Constraint-based Verification of Formation Control : 2021 60th IEEE Conference on Decision and Control (CDC). 2021, 60th IEEE Conference on Decision and Control, 2021-12-14 - 2021-12-17 (2021-12-17, Austin)
Clavière Arthur, Asselin Eric, Garion Christophe, Pagetti Claire, Safety Verification of Neural Network Controlled Systems : 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). 2021, 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2021-06-21 - 2021-06-24 (2021-06-24, Tapei)
Pollien Baptiste, Garion Christophe, Hattenberger Gautier, Roux Pierre, Thirioux Xavier, Verifying the Mathematical Library of an UAV Autopilot with Frama-C : Formal Methods for Industrial Critical Systems. 2021, Formal Methods for Industrial Critical Systems - FMICS 2021, 2021-08-24 - 2021-08-26 (2021-08-26, Paris)
Pollien Baptiste, Thirioux Xavier, Garion Christophe, Gautier Hattenberger, Roux Pierre, Formal Verification for Autopilot - Preliminary state of the art. 2021. (Published)
Formal Verification for Autopilot - Preliminary state of the art
Ziat Ghiles, Mullier Olivier, Sandretto Julien Alexandre dit, Garion Christophe, Chapoutot Alexandre, Thirioux Xavier, Abstract domains for constraint programming with differential equations : Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains. 2020, Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2020-11-17 - 2020-11-17 (2020-11-17)
Cuppens Frédéric, Garion Christophe, Piolle Guillaume, Cuppens-Boulahia Nora, Norms and Deontic Logic : A Guided Tour of Artificial Intelligence Research. 2020« In :» A Guided Tour of Artificial Intelligence Research. 978-3-03-006163-0
Norms and Deontic Logic : A Guided Tour of Artificial Intelligence Research
Garion Christophe, Hugues Jérôme, Teaching formal methods through Frama-C & SPARK. 2019
Brau Guillaume, Garion Christophe, Hugues Jérôme, Towards the qualification of an AADL model transformation tool with contracts. 2019
Towards the qualification of an AADL model transformation tool with contracts
Creuse Léo, Dross Claire, Garion Christophe, Hugues Jérôme, Huguet Joffrey, Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists : Formal Methods Teaching. 2019, 3rd World Congress on Formal Methods, 2019-11-07 - 2019-11-11 (2019-11-11, Porto)
Creuse Léo, Huguet Joffrey, Garion Christophe, Hugues Jérôme, SPARK by Example : an introduction to formal verification through the standard C++ library. 2018, Ada Letters. 38 (2). 89-96. ISSN 1094-3641
SPARK by Example: an introduction to formal verification through the standard C++ library
Davy Guillaume, Garion Christophe, Garoche Pierre-Loic, Roux Pierre, Thirioux Xavier, Preserving Functional Correctness of Cyber-Physical System Controllers : From Model to Code. 2018, Forum on Specification & Design Languages (FDL 2018), 2018-09-10 - 2018-09-12 (2018-09-12, Munich)
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code
Delmas Rémi, Garion Christophe, Giet Josselin, MOLOSS, un solveur pour la satisfiabilité en logique modale. 2018, Journées de l’Intelligence Artificielle Fondamentale (JIAF-2018), 2018-06-13 - 2018-06-15 (2018-06-15, Amiens)
Garion Christophe, Hugues Jérôme, From learning examples to High-Integrity Middleware, comparing ACSL and SPARK. 2017
From learning examples to High-Integrity Middleware, comparing ACSL and SPARK
Bourbouh Hamza, Garoche Pierre-Loic, Garion Christophe, Gurfinkel Arie, Kahsai Temesghen, Thirioux Xavier, Automated analysis of Stateflow models : EPiC Series in Computing, vol. 46. 2017, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 2017-05-12 - 2017-05-07 (2017-05-07, Maun)
Automated analysis of Stateflow models : EPiC Series in Computing, vol. 46
Cuppens Frédéric, Garion Christophe, Piolle Guillaume, Cuppens-Boulahia Nora, Normes et logique déontique : Représentation des connaissances et formalisation des raisonnements, volume 1 série : Panorama de l’Intelligence Artificielle. 2014« In :» Représentation des connaissances et formalisation des raisonnements, volume 1 série : Panorama de l’Intelligence Artificielle, Panorama de l’intelligence artificielle. 9782364930414
Hugues Jérôme, Garion Christophe, Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. 2014, High Integrity Language Technology, HILT 2014, 2014-10-18 - 2014-10-21 (2014-10-21, Portland)
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models
Cholvy Laurence, Garion Christophe, Roussel Stéphanie, Cohérence et complétude des réglementations en présence de contraintes. 2012, Sixièmes Journées d’Intelligence Artificielle Fondamentale (JIAF), 2012-05-22 - 2012-05-24 (2012-05-24, Toulouse)
Cohérence et complétude des réglementations en présence de contraintes
Garion Christophe, Roussel Stéphanie, Cholvy Laurence, Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. 2010, Revue d’intelligence artificielle. 24 (3). 267-290. ISSN 0992-499X
Une logique modale pour raisonner sur la cohérence et la complétude de réglementations
Cholvy Laurence, Garion Christophe, Apports de la logique mathématique dans la modélisation formelle des informations et des systèmes : Gestion de la complexité et de l’information dans les grands systèmes critiques. 2009« In :» Gestion de la complexité et de l’information dans les grands systèmes critiques. 978-2-271-06828-6
Garion Christophe, Roussel Stéphanie, Cholvy Laurence, Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. 2009, Cinquièmes journées francophones des Modèles Formels de l’Interaction (MFI’09)
Une logique modale pour raisonner sur la cohérence et la complétude de réglementations
Garion Christophe, Roussel Stéphanie, Cholvy Laurence, A modal logic for reasoning on consistency and completeness of regulations. 2009, Normative Multi-Agent Systems
A modal logic for reasoning on consistency and completeness of regulations
Garion Christophe, Roussel Stéphanie, Cholvy Laurence, How to Complete Regulations in Multi-agent Systems. 2009, Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009
Cholvy Laurence, Garion Christophe, Deriving individual obligations from collective obligations. 2007, Normative Multi-agent Systems, 2007-03-18 - 2007-03-23 (2007-03-23, Dagstuhl)
Cholvy Laurence, Garion Christophe, Saurel Claire, Modeling regulation for information sharing in a MAS : a case study. 2007, Actes des quatrièmes journées francophones sur les modèles formels de l’interaction - MFI’07, 2007-05-30 - 2007-06-01 (2007-06-01, Paris)
Modeling regulation for information sharing in a MAS: a case study
Jousselme Anne-Laure, Maupin Patrick, Cholvy Laurence, Garion Christophe, Saurel Claire, Situation awareness and ability in coalitions. 2007, 10th International Conference on Information Fusion (FUSION 2007), 2007-07-09 - 2007-07-12 (2007-07-12, Québec)
Garion Christophe, Van der Torre Leon, Design by contract - Deontic design language for multiagent systems. 2006, Coordination, organization, institutions and norms in agent systems I
Design by contract - Deontic design language for multiagent systems
Cholvy Laurence, Garion Christophe, Saurel Claire, Ability in a multi-agent context : a model in the situation calculus. 2006, Sixth International Workshop on Computational Logic In Multi-Agent Systems (CLIMA VI)
Ability in a multi-agent context: a model in the situation calculus
Cholvy Laurence, Garion Christophe, Saurel Claire, Notion de capacité dans un contexte multi-agents : une modélisation dans le calcul des situations. 2005, Troisième Conférence Francophone sur les Modèles Formels de l’Interaction - MFI’05
Notion de capacité dans un contexte multi-agents : une modélisation dans le calcul des situations
Cholvy Laurence, Garion Christophe, Strategies for distributing goals in a team of cooperative agents. 2005, ESAW 2004 : Engineering Societies in the Agents World V - 5th International Workshop
Strategies for distributing goals in a team of cooperative agents
Cholvy Laurence, Garion Christophe, Desires, norms and constraints. 2004, Proceedings of the Third International Conference on Autonomous Agents and Multi Agent Systems (AAMAS’04)
Cholvy Laurence, Garion Christophe, Answering queries addressed to several databases according to a majority approach. 2004, Journal of Intelligent Information Systems. 2 (2). 175-201. ISSN 0925-9902
Answering queries addressed to several databases according to a majority approach
Cholvy Laurence, Garion Christophe, Querying several conflicting databases. 2004, Journal of applied non-classical logics. 1 (3). 295-327. ISSN 1166-3081
Cholvy Laurence, Garion Christophe, Exigences, réglementations et contraintes. 2003, Actes des Troisièmes Journées Nationales sur les Modèles de Raisonnement (JNMR-2003)
Cholvy Laurence, Garion Christophe, Distribution of goals addressed to a group of agents. 2003, AAMAS’03 : Second International Joint Conference on Autonomous Agents and Multiagent Systems
Cholvy Laurence, Garion Christophe, Deriving individual obligations from collective obligations. 2003, AAMAS’03 : Second International Joint Conference on Autonomous Agents and Multiagent Systems
Garion Christophe, Van der Torre Leon, Design by contract - Deontic design language for component-based systems. 2003, BNAIC’03 : 15th Belgium-Netherlands Conference on Artificial Intelligence
Design by contract - Deontic design language for component-based systems
Cholvy Laurence, Garion Christophe, Allocation de buts affectés à un groupe d’agents. 2002, Information interaction intelligence. 1-24. ISSN 1630-649X
Cholvy Laurence, Garion Christophe, Merging conflictual requirements with a majority approach. 2002, International Workshop for High Assurance Systems (RHAS’02)
Cholvy Laurence, Garion Christophe, Collective obligations, commitments and individual obligations : a preliminary study. 2002, Proceedings of the 6th International Workshop on Deontic Logic In Computer Science - DEON’02
Collective obligations, commitments and individual obligations: a preliminary study
Garion Christophe. Auteur, Cholvy Laurence. Directeur de thèse, Apports de la logique mathématique en ingénierie des exigences / Garion Christophe. 2002
Apports de la logique mathématique en ingénierie des exigences / Garion Christophe
Cholvy Laurence, Garion Christophe, An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties. 2001, Fundamenta Informaticae. 4 (2-3). 183-204. ISSN 0169-2968
An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties
Cholvy Laurence, Garion Christophe, Allocation des buts affectés à un groupe d’agents. 2001, MFI’01 : Premières Journées Francophones Modèles
Cholvy Laurence, Garion Christophe, A logic to reason on contradictory beliefs with a majority approach. 2001, IJCAI’01 Workshop on Inconsistency in Data and Knowledge
A logic to reason on contradictory beliefs with a majority approach
Cholvy Laurence, Garion Christophe, Utilisation d’une logique de préférences conditionnelles pour raisonner avec des normes contrary-to-duties. 2001, JNMR 2001 : Secondes Journées Nationales sur les Modèles de Raisonnement, 2001-05-03 - 2001-05-04 (2001-05-04, Arras)
Garion Christophe, Representation and distribution of requirements with a logic of preferences. 2001, Journées FAC 2001 : formalisation des activités concurrentes, 2001-04-25 - 2001-04-26 (2001-04-26, Toulouse)
Representation and distribution of requirements with a logic of preferences
Cholvy Laurence, Garion Christophe, An attempt to adapt a logic for conditional preferences for reasoning with Contrary-To-Duties. 2000, Fifth International Workshop on Deontic Logic In Computer Science
An attempt to adapt a logic for conditional preferences for reasoning with Contrary-To-Duties
Garion Christophe, Distributions des exigences : un problème de calcul de buts individuels en fonction de buts collectifs. 2000, RJCIA 2000 : Cinquièmes Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 2000-09-11 - 2000-09-13 (2000-09-13, Lyon)
Garion Christophe, Une logique pour la fusion majoritaire de croyances. 2000, RJCIA 2000 : Cinquièmes Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 2000-09-11 - 2000-09-13 (2000-09-13, Lyon)
Garion, Christophe, Hattenberger, Gautier, Pollien, Baptiste, Roux, Pierre, Thirioux, Xavier, Formal Verification for Autopilot - Preliminary state of the art
Formal Verification for Autopilot - Preliminary state of the art
Pollien, Baptiste, Garion, Christophe, Hattenberger, Gautier, Roux, Pierre, Thirioux, Xavier, A Verified UAV Flight Plan Generator
Bourbouh, Hamza, Garoche, Pierre-Loïc, Garion, Christophe, Thirioux, Xavier, From Lustre to Simulink : reverse compilation for verifying Embedded Systems Applications
From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications
Clavière, Arthur, Altieri Sambartolomé, Laura, Asselin, Eric, Garion, Christophe, Pagetti, Claire, Verification of machine learning based cyber-physical systems : a comparative study
Verification of machine learning based cyber-physical systems: a comparative study
Alexandre Dit Sandretto, Julien, Chapoutot, Alexandre, Garion, Christophe, Thirioux, Xavier, Ziat, Ghiles, Constraint-based Verification of Formation Control
Creuse, Léo, Huguet, Joffrey, Garion, Christophe, Hugues, Jérôme, SPARK by Example : an introduction to formal verification through the standard C++ library
SPARK by Example: an introduction to formal verification through the standard C++ library
Davy, Guillaume, Garion, Christophe, Garoche, Pierre-Loïc, Roux, Pierre, Thirioux, Xavier, Preserving Functional Correctness of Cyber-Physical System Controllers : From Model to Code
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code
Pollien, Baptiste, Garion, Christophe, Hattenberger, Gautier, Roux, Pierre, Thirioux, Xavier, Verifying the Mathematical Library of an UAV Autopilot with Frama-C
Verifying the Mathematical Library of an UAV Autopilot with Frama-C
Bourbouh, Hamza, Garoche, Pierre-Loïc, Garion, Christophe, Gurfinkel, Arie, Kahsai, Temesghen, Thirioux, Xavier, Automated analysis of Stateflow models
Ziat, Ghiles, Mullier, Olivier, Sandretto, Julien Alexandre Dit, Garion, Christophe, Chapoutot, Alexandre, Thirioux, Xavier, Abstract domains for constraint programming with differential equations
Abstract domains for constraint programming with differential equations
Brun, Lélio, Garion, Christophe, Garoche, Pierre-Loïc, Thirioux, Xavier, Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Claviere, Arthur, Asselin, Eric, Garion, Christophe, Pagetti, Claire, SAM : un outil de vérification de propriétés d’atteignabilité sur des classificateurs neuronaux
SAM : un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronaux
Wasquel, Valentin, Pollien, Baptiste, Garion, Christophe, Thirioux, Xavier, Improving a Verified Flight Plan Generator : New Properties and Code Modifications
Improving a Verified Flight Plan Generator: New Properties and Code Modifications
Clavière, Arthur, Asselin, Eric, Garion, Christophe, Pagetti, Claire, Safety Verification of Neural Network Controlled Systems
Saqui-Sannes, Pierre De, Vingerhoeds, Rob A., Garion, Christophe, Thirioux, Xavier, A Taxonomy of MBSE Approaches by Languages, Tools and Methods
A Taxonomy of MBSE Approaches by Languages, Tools and Methods
Garion, Christophe, Hattenberger, Gautier, Pollien, Baptiste, Roux, Pierre, Thirioux, Xavier, A gentle introduction to C code verification using the Frama-C platform
A gentle introduction to C code verification using the Frama-C platform