David Chemouil

30 papers A* 2B 5C 4Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
2023 C conf
Adding Records to Alloy.
ABZ
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
2023 C conf
Verifying Temporal Relational Models with Pardinus.
ABZ
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
2022 J jnl
Pardinus: A Temporal Relational Model Finder.
J. Autom. Reason.
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
2021 J jnl
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic.
Inf. Comput.
Quentin Peyras, Julien Brunel, David Chemouil
2021 — conf
Sound Verification Procedures for Temporal Properties of Infinite-State Systems.
CAV (2)
Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil
2019 C conf
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic.
TIME
Quentin Peyras, Julien Brunel, David Chemouil
2019 B conf
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol.
FM
Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
2019 — conf
Simulation under Arbitrary Temporal Logic Constraints.
F-IDE@FM
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
2018 B conf
Analyzing the Fundamental Liveness Property of the Chord Protocol.
FMCAD
Julien Brunel, David Chemouil, Jeanne Tawa
2018 C conf
Proposition of an Action Layer for Electrum.
ABZ
Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
2018 A* conf
The electrum analyzer: model checking relational first-order temporal specifications.
ASE
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
2016 — conf
Lightweight specification and analysis of dynamic systems with rich configurations.
SIGSOFT FSE
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg
2016 B conf
On Finite Domains in First-Order Linear Temporal Logic.
ATVA
Denis Kuperberg, Julien Brunel, David Chemouil
2015 J jnl
A logic with revocable and refinable strategies.
Inf. Comput.
Christophe Chareton, Julien Brunel, David Chemouil
2015 — conf
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents.
SBMF
Christophe Chareton, Julien Brunel, David Chemouil
2015 — conf
Safety and Security Assessment of Behavioral Properties Using Alloy.
SAFECOMP Workshops
Julien Brunel, David Chemouil
2014 — conf
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.
MoDeVVa@MoDELS
Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée
2013 — conf
Towards an Updatable Strategy Logic
SR
Christophe Chareton, Julien Brunel, David Chemouil
2011 — conf
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.
SBMF
Christophe Chareton, Julien Brunel, David Chemouil
2011 — conf
Towards a categorical framework to ensure correct software evolutions.
ICDE Workshops
Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat
2008 J jnl
An insertion operator preserving infinite reduction sequences.
Math. Struct. Comput. Sci.
David Chemouil
2008 B conf
Modes in Asynchronous Systems.
ICECCS
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas
2007 — conf
A mapping from AADL to Java-RTSJ.
JTRES
Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland
2007 B conf
The AADL behaviour annex - experiments and roadmap.
ICECCS
Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas
2007 — conf
The Design of Spacecraft On-Board Software.
B
David Chemouil
2006 A* conf
TOPCASED Combining Formal Methods with Model-Driven Engineering.
ASE
Nadège Pontisso, David Chemouil
2005 J jnl
Isomorphisms of simple inductive types through extensional rewriting.
Math. Struct. Comput. Sci.
David Chemouil
2005 — conf
Towards formalising AADL in Proof Assistants.
FESCA@ETAPS
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
2003 — conf
Remarks on isomorphisms of simple inductive types.
Mathematics, Logic and Computation @ ICALP
David Chemouil, Sergei Soloviev
2003 — conf
Some Algebraic Structures in Lambda-Calculus with Inductive Types.
TYPES
Sergei Soloviev, David Chemouil