default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristophe Garion
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j7]Lélio Brun
, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux:
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. ACM Trans. Embed. Comput. Syst. 22(5s): 151:1-151:24 (2023)- [c18]Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
A Verified UAV Flight Plan Generator. FormaliSE 2023: 130-140 - 2022
- [j6]Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Christophe Garion, Xavier Thirioux:
A Taxonomy of MBSE Approaches by Languages, Tools and Methods. IEEE Access 10: 120936-120950 (2022) - [c17]Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti:
Verification of machine learning based cyber-physical systems: a comparative study. HSCC 2022: 22:1-22:16 - 2021
- [j5]Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux:
From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications. ACM Trans. Cyber Phys. Syst. 5(3): 31:1-31:20 (2021) - [c16]Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat:
Constraint-based Verification of Formation Control. CDC 2021: 7136-7141 - [c15]Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti:
Safety Verification of Neural Network Controlled Systems. DSN Workshops 2021: 47-54 - [c14]Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. FMICS 2021: 167-173 - 2020
- [p1]Frédéric Cuppens, Christophe Garion, Guillaume Piolle, Nora Cuppens-Boulahia:
Norms and Deontic Logic. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 253-274 - [i3]Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti:
Safety Verification of Neural Network Controlled Systems. CoRR abs/2011.05174 (2020)
2010 – 2019
- 2019
- [c13]Léo Creuse, Claire Dross, Christophe Garion, Jérôme Hugues, Joffrey Huguet:
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. FMTea 2019: 23-36 - 2018
- [c12]Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux:
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. FDL 2018: 5-16 - 2017
- [c11]Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux:
Automated analysis of Stateflow models. LPAR 2017: 144-161 - 2014
- [c10]Jérôme Hugues, Christophe Garion:
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models. HILT 2014: 39-46 - 2010
- [j4]Christophe Garion, Stéphanie Roussel, Laurence Cholvy:
Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. Rev. d'Intelligence Artif. 24(3): 267-290 (2010)
2000 – 2009
- 2009
- [c9]Christophe Garion, Stéphanie Roussel, Laurence Cholvy:
How to Complete Regulations in Multi-agent Systems. IAT 2009: 285-288 - [i2]Christophe Garion, Stéphanie Roussel, Laurence Cholvy:
A modal logic for reasoning on consistency and completeness of regulations. Normative Multi-Agent Systems 2009 - 2007
- [c8]Anne-Laure Jousselme, Patrick Maupin, Christophe Garion, Laurence Cholvy, Claire Saurel:
Situation awareness and ability in coalitions. FUSION 2007: 1-9 - [i1]Christophe Garion, Laurence Cholvy:
Deriving individual obligations from collective obligations. Normative Multi-agent Systems 2007 - 2005
- [c7]Christophe Garion, Leendert W. N. van der Torre:
Design by Contract Deontic Design Language for Multiagent Systems. AAMAS Workshops 2005: 170-182 - [c6]Laurence Cholvy, Christophe Garion, Claire Saurel:
Ability in a Multi-agent Context: A Model in the Situation Calculus. CLIMA 2005: 23-36 - 2004
- [j3]Laurence Cholvy, Christophe Garion:
Querying several conflicting databases. J. Appl. Non Class. Logics 14(3): 295-327 (2004) - [j2]Laurence Cholvy, Christophe Garion:
Answering Queries Addressed to Several Databases According to a Majority Merging Approach. J. Intell. Inf. Syst. 22(2): 175-201 (2004) - [c5]Laurence Cholvy, Christophe Garion:
Desires, Norms and Constraints. AAMAS 2004: 724-731 - [c4]Laurence Cholvy, Christophe Garion:
Strategies for Distributing Goals in a Team of Cooperative Agents. ESAW 2004: 178-190 - 2003
- [c3]Laurence Cholvy, Christophe Garion:
Distribution of goals addressed to a group of agents. AAMAS 2003: 765-772 - [c2]Laurence Cholvy, Christophe Garion:
Deriving individual obligations from collective obligations. AAMAS 2003: 962-963 - 2002
- [c1]Laurence Cholvy, Christophe Garion:
Answering Queries Addressed to Several Databases: A Query Evaluator which Implements a Majority Merging Approach. ISMIS 2002: 131-139 - 2001
- [j1]Laurence Cholvy, Christophe Garion:
An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties. Fundam. Informaticae 48(2-3): 183-204 (2001)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
