Publications

Article

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

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and 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

Creuse, Léo and Huguet, Joffrey and Garion, Christophe and 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

Garion, Christophe and Roussel, Stéphanie and 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

Cholvy, Laurence and 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

Cholvy, Laurence and Garion, Christophe. Querying several conflicting databases. (2004) Journal of applied non-classical logics, 1 (3). 295-327. ISSN 1166-3081

Cholvy, Laurence and Garion, Christophe. Allocation de buts affectés à un groupe d'agents. (2002) Information interaction intelligence . 1-24. ISSN 1630-649X

Cholvy, Laurence and 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

Conference or Workshop Item

Clavière, Arthur and Altieri Sambartolomé, Laura and Asselin, Eric and Garion, Christophe and Pagetti, Claire. Verification of machine learning based cyber-physical systems: a comparative study. (2022) In: HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, 4 May 2022 - 6 May 2022 (Milan, Italy).

Alexandre Dit Sandretto, Julien and Chapoutot, Alexandre and Garion, Christophe and Thirioux, Xavier and Ziat, Ghiles. Constraint-based Verification of Formation Control. (2021) In: 60th IEEE Conference on Decision and Control, 14 December 2021 - 17 December 2021 (Austin, United States).

Claviere, Arthur and Asselin, Eric and Garion, Christophe and Pagetti, Claire. Safety Verification of Neural Network Controlled Systems. (2021) In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 21 June 2021 - 24 June 2021 (Tapei, Taiwan, Province Of China).

Pollien, Baptiste and Garion, Christophe and Hattenberger, Gautier and Roux, Pierre and Thirioux, Xavier. Verifying the Mathematical Library of an UAV Autopilot with Frama-C. (2021) In: Formal Methods for Industrial Critical Systems - FMICS 2021, 24 August 2021 - 26 August 2021 (Paris, France).

Ziat, Ghiles and Mullier, Olivier and Sandretto, Julien Alexandre dit and Garion, Christophe and Chapoutot, Alexandre and Thirioux, Xavier. Abstract domains for constraint programming with differential equations. (2020) In: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 17 November 2020 - 17 November 2020 (United States).

Creuse, Léo and Dross, Claire and Garion, Christophe and Hugues, Jérôme and Huguet, Joffrey. Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. (2019) In: 3rd World Congress on Formal Methods, 7 November 2019 - 11 November 2019 (Porto, Portugal).

Davy, Guillaume and Garion, Christophe and Garoche, Pierre-Loic and Roux, Pierre and Thirioux, Xavier. Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. (2018) In: Forum on Specification & Design Languages (FDL 2018), 10 September 2018 - 12 September 2018 (Munich, Germany).

Delmas, Rémi and Garion, Christophe and Giet, Josselin. MOLOSS, un solveur pour la satisfiabilité en logique modale. (2018) In: Journées de l'Intelligence Artificielle Fondamentale (JIAF-2018), 13 June 2018 - 15 June 2018 (Amiens, France).

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Gurfinkel, Arie and Kahsai, Temesghen and Thirioux, Xavier. Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 7 May 2017 - 12 May 2017 (Maun, Botswana).

Hugues, Jérôme and Garion, Christophe. Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. (2014) In: High Integrity Language Technology, HILT 2014, 18 October 2014 - 21 October 2014 (Portland, United States).

Cholvy, Laurence and Garion, Christophe and Roussel, Stéphanie. Cohérence et complétude des réglementations en présence de contraintes. (2012) In: Sixièmes Journées d'Intelligence Artificielle Fondamentale (JIAF), 22 May 2012 - 24 May 2012 (Toulouse, France).

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence. Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. (2009) In: Cinquièmes journées francophones des Modèles Formels de l'Interaction (MFI'09), 03-05 June 2009, Lannion, France .

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence. A modal logic for reasoning on consistency and completeness of regulations. (2009) In: Normative Multi-Agent Systems, 15-20 Mars 2009, Dagstuhl, Allemagne .

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence. How to Complete Regulations in Multi-agent Systems. (2009) In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, 15-18 Sep 2009, Milan, Italy .

Cholvy, Laurence and Garion, Christophe. Deriving individual obligations from collective obligations. (2007) In: Normative Multi-agent Systems, 18 March 2007 - 23 March 2007 (Dagstuhl, Germany).

Cholvy, Laurence and Garion, Christophe and Saurel, Claire. Modeling regulation for information sharing in a MAS: a case study. (2007) In: Actes des quatrièmes journées francophones sur les modèles formels de l'interaction - MFI'07, 30 May 2007 - 1 June 2007 (Paris, France). (Unpublished)

Jousselme, Anne-Laure and Maupin, Patrick and Cholvy, Laurence and Garion, Christophe and Saurel, Claire. Situation awareness and ability in coalitions. (2007) In: 10th International Conference on Information Fusion (FUSION 2007), 9 July 2007 - 12 July 2007 (Québec, Canada).

Cholvy, Laurence and Garion, Christophe and Saurel, Claire. Ability in a multi-agent context: a model in the situation calculus. (2006) In: Sixth International Workshop on Computational Logic In Multi-Agent Systems (CLIMA VI), 27-29 June 2005, London, United Kingdom .

Garion, Christophe and Van der Torre, Leon. Design by contract - Deontic design language for multiagent systems. (2006) In: Coordination, organization, institutions and norms in agent systems I, 25-29 Jul 2005, Utrecht, Netherlands .

Cholvy, Laurence and Garion, Christophe and Saurel, Claire. Notion de capacité dans un contexte multi-agents : une modélisation dans le calcul des situations. (2005) In: Troisième Conférence Francophone sur les Modèles Formels de l'Interaction - MFI'05, 25-27 May 2005, Caen, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe. Strategies for distributing goals in a team of cooperative agents. (2005) In: ESAW 2004 : Engineering Societies in the Agents World V - 5th International Workshop, 20-22 Oct. 2004, Toulouse, France .

Cholvy, Laurence and Garion, Christophe. Desires, norms and constraints. (2004) In: Proceedings of the Third International Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04), 19-23 Jul 2004, New York, United States .

Cholvy, Laurence and Garion, Christophe. Deriving individual obligations from collective obligations. (2003) In: AAMAS'03 : Second International Joint Conference on Autonomous Agents and Multiagent Systems, 14-18 Jul 2003, Melbourne, Australia .

Garion, Christophe and Van der Torre, Leon. Design by contract - Deontic design language for component-based systems. (2003) In: BNAIC'03 : 15th Belgium-Netherlands Conference on Artificial Intelligence, 23-24 Oct 2003, Nijmegen, The Netherlands .

Cholvy, Laurence and Garion, Christophe. Distribution of goals addressed to a group of agents. (2003) In: AAMAS'03 : Second International Joint Conference on Autonomous Agents and Multiagent Systems, 14-18 Jui 2003, Melbourne, Australia .

Cholvy, Laurence and Garion, Christophe. Exigences, réglementations et contraintes. (2003) In: Actes des Troisièmes Journées Nationales sur les Modèles de Raisonnement (JNMR-2003), 27-28 Nov 2003, Paris, France .

Cholvy, Laurence and Garion, Christophe. Merging conflictual requirements with a majority approach. (2002) In: International Workshop for High Assurance Systems (RHAS'02), 30 May 2002, Essen, Germany . (Unpublished)

Cholvy, Laurence and Garion, Christophe. Collective obligations, commitments and individual obligations: a preliminary study. (2002) In: Proceedings of the 6th International Workshop on Deontic Logic In Computer Science - DEON'02, 22--24 May 2002, London, UK .

Cholvy, Laurence and Garion, Christophe. Allocation des buts affectés à un groupe d'agents. (2001) In: MFI'01 : Premières Journées Francophones Modèles, 21-23 mai 2001, Toulouse, France . (Unpublished)

Cholvy, Laurence and Garion, Christophe. A logic to reason on contradictory beliefs with a majority approach. (2001) In: IJCAI'01 Workshop on Inconsistency in Data and Knowledge, 6 août 2001, Seattle, USA .

Garion, Christophe. Representation and distribution of requirements with a logic of preferences. (2001) In: Journées FAC 2001 : formalisation des activités concurrentes, 25 April 2001 - 26 April 2001 (Toulouse, France). (Unpublished)

Cholvy, Laurence and Garion, Christophe. Utilisation d'une logique de préférences conditionnelles pour raisonner avec des normes contrary-to-duties. (2001) In: JNMR 2001 : Secondes Journées Nationales sur les Modèles de Raisonnement, 3 May 2001 - 4 May 2001 (Arras, France).

Cholvy, Laurence and Garion, Christophe. An attempt to adapt a logic for conditional preferences for reasoning with Contrary-To-Duties. (2000) In: Fifth International Workshop on Deontic Logic In Computer Science, 20-22 Jan 2000, Toulouse, France .

Garion, Christophe. Distributions des exigences : un problème de calcul de buts individuels en fonction de buts collectifs. (2000) In: RJCIA 2000 : Cinquièmes Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 11 September 2000 - 13 September 2000 (Lyon, France). (Unpublished)

Garion, Christophe. Une logique pour la fusion majoritaire de croyances. (2000) In: RJCIA 2000 : Cinquièmes Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, 11 September 2000 - 13 September 2000 (Lyon, France). (Unpublished)

Other Conference

Garion, Christophe and Hugues, Jérôme. Teaching formal methods through Frama-C & SPARK. (2019) In: Frama-C & SPARK Day 2019, 3 June 2019 - 3 June 2019 (Paris, France). (Unpublished)

Brau, Guillaume and Garion, Christophe and Hugues, Jérôme. Towards the qualification of an AADL model transformation tool with contracts. (2019) In: Formalisation des Activités Concurrentes 2019 (FAC 2019), 27 March 2019 - 28 March 2019 (Toulouse, France). (Unpublished)

Garion, Christophe and Hugues, Jérôme. From learning examples to High-Integrity Middleware, comparing ACSL and SPARK. (2017) In: Frama-C & SPARK Day 2017, 30 May 2017 (Paris, France). (Unpublished)

Book Section

Cuppens, Frédéric and Garion, Christophe and Piolle, Guillaume and Cuppens-Boulahia, Nora. Norms and Deontic Logic. (2020) In: A Guided Tour of Artificial Intelligence Research. Springer International Publishing, Cham, 253-274. ISBN 978-3-030-06163-0

Cuppens, Frédéric and Garion, Christophe and Piolle, Guillaume and Cuppens-Boulahia, Nora. Normes et logique déontique. (2014) In: Représentation des connaissances et formalisation des raisonnements, volume 1 série : Panorama de l'Intelligence Artificielle. (Panorama de l'intelligence artificielle). Cépaduès, Toulouse, France, 215-237. ISBN 9782364930414

Cholvy, Laurence and Garion, Christophe. Apports de la logique mathématique dans la modélisation formelle des informations et des systèmes. (2009) In: Gestion de la complexité et de l'information dans les grands systèmes critiques. SEE & CNRS Editions , France, 105-118. ISBN 9782271068286

Thesis

Garion, Christophe. Apports de la logique mathématique en ingénierie des exigences. PhD, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace, 2002, 210 p.

Report

Pollien, Baptiste and Thirioux, Xavier and Garion, Christophe and Gautier, Hattenberger and Roux, Pierre. Formal Verification for Autopilot - Preliminary state of the art. (2021) [Report]