default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Chemouil
Person information
- affiliation: ONERA DTIS, Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c25]Julien Brunel, David Chemouil, Alcino Cunha
, Nuno Macedo:
Adding Records to Alloy. ABZ 2023: 212-219- [c24]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Verifying Temporal Relational Models with Pardinus. ABZ 2023: 254-261 - 2022
- [j5]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66(4): 861-904 (2022) - 2021
- [j4]Quentin Peyras, Julien Brunel, David Chemouil:
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic. Inf. Comput. 280: 104641 (2021) - [c23]Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil:
Sound Verification Procedures for Temporal Properties of Infinite-State Systems. CAV (2) 2021: 337-360
2010 – 2019
- 2019
- [c22]Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali:
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. FM 2019: 45-63 - [c21]Quentin Peyras, Julien Brunel, David Chemouil:
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. TIME 2019: 15:1-15:16 - [c20]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM 2019: 63-69 - 2018
- [c19]Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa:
Proposition of an Action Layer for Electrum. ABZ 2018: 397-402 - [c18]Julien Brunel, David Chemouil, Jeanne Tawa:
Analyzing the Fundamental Liveness Property of the Chord Protocol. FMCAD 2018: 1-9 - [c17]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
The electrum analyzer: model checking relational first-order temporal specifications. ASE 2018: 884-887 - 2016
- [c16]Denis Kuperberg, Julien Brunel, David Chemouil:
On Finite Domains in First-Order Linear Temporal Logic. ATVA 2016: 211-226 - [c15]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg:
Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE 2016: 373-383 - 2015
- [j3]Christophe Chareton, Julien Brunel, David Chemouil:
A logic with revocable and refinable strategies. Inf. Comput. 242: 157-182 (2015) - [c14]Julien Brunel, David Chemouil:
Safety and Security Assessment of Behavioral Properties Using Alloy. SAFECOMP Workshops 2015: 251-263 - [c13]Christophe Chareton, Julien Brunel, David Chemouil:
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. SBMF 2015: 56-73 - 2014
- [c12]Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée:
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. MoDeVVa@MoDELS 2014: 39-48 - 2013
- [c11]Christophe Chareton, Julien Brunel, David Chemouil:
Towards an Updatable Strategy Logic. SR 2013: 91-98 - 2011
- [c10]Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat:
Towards a categorical framework to ensure correct software evolutions. ICDE Workshops 2011: 139-144 - [c9]Christophe Chareton, Julien Brunel, David Chemouil:
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. SBMF 2011: 188-203
2000 – 2009
- 2008
- [j2]David Chemouil:
An insertion operator preserving infinite reduction sequences. Math. Struct. Comput. Sci. 18(4): 693-728 (2008) - [c8]Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas:
Modes in Asynchronous Systems. ICECCS 2008: 282-287 - 2007
- [c7]David Chemouil:
The Design of Spacecraft On-Board Software. B 2007: 3 - [c6]Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas:
The AADL behaviour annex - experiments and roadmap. ICECCS 2007: 377-382 - [c5]Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland:
A mapping from AADL to Java-RTSJ. JTRES 2007: 165-174 - 2006
- [c4]Nadège Pontisso, David Chemouil:
TOPCASED Combining Formal Methods with Model-Driven Engineering. ASE 2006: 359-360 - 2005
- [j1]David Chemouil:
Isomorphisms of simple inductive types through extensional rewriting. Math. Struct. Comput. Sci. 15(5): 875-915 (2005) - [c3]Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker:
Towards formalising AADL in Proof Assistants. FESCA@ETAPS 2005: 153-169 - 2003
- [c2]Sergei Soloviev, David Chemouil:
Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES 2003: 338-354 - [c1]David Chemouil, Sergei Soloviev:
Remarks on isomorphisms of simple inductive types. Mathematics, Logic and Computation @ ICALP 2003: 106-124
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-06-26 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:
