Some Algebraic Structures in Lambda-Calculus with Inductive Types. - Sergei Soloviev 001; David Chemouil (TYPES, 2003)

Remarks on isomorphisms of simple inductive types. - David Chemouil; Sergei Soloviev 001 (Mathematics, Logic and Computation @ ICALP, 2003)

Towards formalising AADL in Proof Assistants. - Jean-Paul Bodeveix; David Chemouil; Mamoun Filali; Martin Strecker (FESCA@ETAPS, 2005)

Isomorphisms of simple inductive types through extensional rewriting. - David Chemouil (Math. Struct. Comput. Sci., 2005)

TOPCASED Combining Formal Methods with Model-Driven Engineering. - Nadège Pontisso; David Chemouil (ASE, 2006)

The Design of Spacecraft On-Board Software. - David Chemouil (B, 2007)

The AADL behaviour annex - experiments and roadmap. - Ricardo Bedin França; Jean-Paul Bodeveix; Mamoun Filali; Jean-François Rolland; David Chemouil; Dave Thomas (ICECCS, 2007)

A mapping from AADL to Java-RTSJ. - Jean-Paul Bodeveix; Raphaël Cavallero; David Chemouil; Mamoun Filali; Jean-François Rolland (JTRES, 2007)

Modes in Asynchronous Systems. - Jean-François Rolland; Jean-Paul Bodeveix; Mamoun Filali; David Chemouil; Dave Thomas (ICECCS, 2008)

An insertion operator preserving infinite reduction sequences. - David Chemouil (Math. Struct. Comput. Sci., 2008)

Towards a categorical framework to ensure correct software evolutions. - Sylvain Bouveret; Julien Brunel; David Chemouil; Fabien Dagnat (ICDE Workshops, 2011)

A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. - Christophe Chareton; Julien Brunel; David Chemouil (SBMF, 2011)

Towards an Updatable Strategy Logic - Christophe Chareton; Julien Brunel; David Chemouil (SR, 2013)

A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. - Julien Brunel; David Chemouil; Laurent Rioux; Mohamed Bakkali; Frédérique Vallée (MoDeVVa@MoDELS, 2014)

Safety and Security Assessment of Behavioral Properties Using Alloy. - Julien Brunel; David Chemouil (SAFECOMP Workshops, 2015)

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. - Christophe Chareton; Julien Brunel; David Chemouil (SBMF, 2015)

A logic with revocable and refinable strategies. - Christophe Chareton; Julien Brunel; David Chemouil (Inf. Comput., 2015)

On Finite Domains in First-Order Linear Temporal Logic. - Denis Kuperberg; Julien Brunel; David Chemouil (ATVA, 2016)

Lightweight specification and analysis of dynamic systems with rich configurations. - Nuno Macedo 001; Julien Brunel; David Chemouil; Alcino Cunha; Denis Kuperberg (SIGSOFT FSE, 2016)

Proposition of an Action Layer for Electrum. - Julien Brunel; David Chemouil; Alcino Cunha; Thomas Hujsa; Nuno Macedo 001; Jeanne Tawa (ABZ, 2018)

Analyzing the Fundamental Liveness Property of the Chord Protocol. - Julien Brunel; David Chemouil; Jeanne Tawa (FMCAD, 2018)

The electrum analyzer: model checking relational first-order temporal specifications. - Julien Brunel; David Chemouil; Alcino Cunha; Nuno Macedo 001 (ASE, 2018)

Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. - Jean-Paul Bodeveix; Julien Brunel; David Chemouil; Mamoun Filali (FM, 2019)

A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. - Quentin Peyras; Julien Brunel; David Chemouil (TIME, 2019)

Simulation under Arbitrary Temporal Logic Constraints. - Julien Brunel; David Chemouil; Alcino Cunha; Nuno Macedo 001 (F-IDE@FM, 2019)

Sound Verification Procedures for Temporal Properties of Infinite-State Systems. - Quentin Peyras; Jean-Paul Bodeveix; Julien Brunel; David Chemouil (CAV (2), 2021)

A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic. - Quentin Peyras; Julien Brunel; David Chemouil (Inf. Comput., 2021)

Pardinus: A Temporal Relational Model Finder. - Nuno Macedo 001; Julien Brunel; David Chemouil; Alcino Cunha (J. Autom. Reason., 2022)

Adding Records to Alloy. - Julien Brunel; David Chemouil; Alcino Cunha; Nuno Macedo 001 (ABZ, 2023)

Verifying Temporal Relational Models with Pardinus. - Nuno Macedo 001; Julien Brunel; David Chemouil; Alcino Cunha (ABZ, 2023)