Christophe Garion - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2023

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code ValidationLélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux. tecs, 22(5s), October 2023. [doi]

A Verified UAV Flight Plan GeneratorBaptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux. icse-formalise 2023: 130-140 [doi]

2022

Verification of machine learning based cyber-physical systems: a comparative studyArthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti. hybrid 2022: [doi]

A Taxonomy of MBSE Approaches by Languages, Tools and MethodsPierre de Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux. access, 10:120936-120950, 2022. [doi]

2021

2019

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer ScientistsLéo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet. tfm 2019: 23-36 [doi]

2018

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to CodeGuillaume Davv, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux. fdl 2018: 5-16 [doi]

2017

Automated analysis of Stateflow modelsHamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux. lpar 2017: 144-161 [doi]

2014

Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL modelsJérôme Hugues, Christophe Garion. sigada 2014: 39-46 [doi]

2010

Une logique modale pour raisonner sur la cohérence et la complétude de réglementationsChristophe Garion, Stéphanie Roussel, Laurent Cholvy. ria, 24(3):267-290, 2010. [doi]

2009

How to Complete Regulations in Multi-agent SystemsChristophe Garion, StÃ©phanie Roussel, Laurence Cholvy. iat 2009: 285-288 [doi]

A modal logic for reasoning on consistency and completeness of regulationsChristophe Garion, Stéphanie Roussel, Laurence Cholvy. Dagstuhl 2009: [doi]

2007

Deriving individual obligations from collective obligationsChristophe Garion, Laurence Cholvy. Dagstuhl 2007: [doi]

Situation awareness and ability in coalitionsAnne-Laure Jousselme, Patrick Maupin, Christophe Garion, Laurence Cholvy, Claire Saurel. fusion 2007: 1-9 [doi]

2005

Ability in a Multi-agent Context: A Model in the Situation CalculusLaurence Cholvy, Christophe Garion, Claire Saurel. clima 2006: 23-36 [doi]

Design by Contract Deontic Design Language for Multiagent SystemsChristophe Garion, Leendert van der Torre. atal 2006: 170-182 [doi]

2004

Desires, Norms and ConstraintsLaurence Cholvy, Christophe Garion. atal 2004: 724-731 [doi]

Strategies for Distributing Goals in a Team of Cooperative AgentsLaurence Cholvy, Christophe Garion. esaw 2005: 178-190 [doi]

Answering Queries Addressed to Several Databases According to a Majority Merging ApproachLaurence Cholvy, Christophe Garion. jiis, 22(2):175-201, 2004. [doi]

Querying several conflicting databasesLaurence Cholvy, Christophe Garion. jancl, 14(3):295-327, 2004.

2003

Deriving individual obligations from collective obligationsLaurence Cholvy, Christophe Garion. atal 2003: 962-963 [doi]

Distribution of goals addressed to a group of agentsLaurence Cholvy, Christophe Garion. atal 2003: 765-772 [doi]

2002

Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging ApproachLaurence Cholvy, Christophe Garion. ismis 2002: 131-139 [doi]

2001

An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-DutiesLaurence Cholvy, Christophe Garion. FUIN, 48(2-3):183-204, 2001.

Sign in or sign up to see more results.

runs on WebDSL