David Chemouil

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 13

Top Topics

Linear Temporal Logic

Automata Theoretic

Top Venues

SAFECOMP Workshops

Publications

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Verifying Temporal Relational Models with Pardinus. ABZ (2023)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Adding Records to Alloy. ABZ (2023)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66 (4) (2022)
Quentin Peyras, Julien Brunel, David Chemouil
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic. Inf. Comput. 280 (2021)
Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil
Sound Verification Procedures for Temporal Properties of Infinite-State Systems. CAV (2) (2021)
Quentin Peyras, Julien Brunel, David Chemouil
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. TIME (2019)
Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. FM (2019)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM (2019)
Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
Proposition of an Action Layer for Electrum. ABZ (2018)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
The electrum analyzer: model checking relational first-order temporal specifications. ASE (2018)
Julien Brunel, David Chemouil, Jeanne Tawa
Analyzing the Fundamental Liveness Property of the Chord Protocol. FMCAD (2018)
Denis Kuperberg, Julien Brunel, David Chemouil
On Finite Domains in First-Order Linear Temporal Logic. ATVA (2016)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg
Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE (2016)
Christophe Chareton, Julien Brunel, David Chemouil
A logic with revocable and refinable strategies. Inf. Comput. 242 (2015)
Julien Brunel, David Chemouil
Safety and Security Assessment of Behavioral Properties Using Alloy. SAFECOMP Workshops (2015)
Christophe Chareton, Julien Brunel, David Chemouil
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. SBMF (2015)
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)
Christophe Chareton, Julien Brunel, David Chemouil
Towards an Updatable Strategy Logic SR (2013)
Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat
Towards a categorical framework to ensure correct software evolutions. ICDE Workshops (2011)
Christophe Chareton, Julien Brunel, David Chemouil
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. SBMF (2011)
David Chemouil
An insertion operator preserving infinite reduction sequences. Math. Struct. Comput. Sci. 18 (4) (2008)
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas
Modes in Asynchronous Systems. ICECCS (2008)
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)
David Chemouil
The Design of Spacecraft On-Board Software. B (2007)
Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland
A mapping from AADL to Java-RTSJ. JTRES (2007)
Nadège Pontisso, David Chemouil
TOPCASED Combining Formal Methods with Model-Driven Engineering. ASE (2006)
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
Towards formalising AADL in Proof Assistants. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
David Chemouil
Isomorphisms of simple inductive types through extensional rewriting. Math. Struct. Comput. Sci. 15 (5) (2005)
Sergei Soloviev, David Chemouil
Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES (2003)
David Chemouil, Sergei Soloviev
Remarks on isomorphisms of simple inductive types. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)