David Chemouil

According to our database, David Chemouil authored at least 30 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verifying Temporal Relational Models with Pardinus.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Adding Records to Alloy.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2022

Pardinus: A Temporal Relational Model Finder.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

J. Autom. Reason., 2022

2021

A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic.

Quentin Peyras, Julien Brunel, David Chemouil

Inf. Comput., 2021

Sound Verification Procedures for Temporal Properties of Infinite-State Systems.

Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Simulation under Arbitrary Temporal Logic Constraints.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic.

Quentin Peyras, Julien Brunel, David Chemouil

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol.

Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

The electrum analyzer: model checking relational first-order temporal specifications.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Analyzing the Fundamental Liveness Property of the Chord Protocol.

Julien Brunel, David Chemouil, Jeanne Tawa

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Proposition of an Action Layer for Electrum.

Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2016

Lightweight specification and analysis of dynamic systems with rich configurations.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

On Finite Domains in First-Order Linear Temporal Logic.

Denis Kuperberg, Julien Brunel, David Chemouil

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

A logic with revocable and refinable strategies.

Christophe Chareton, Julien Brunel, David Chemouil

Inf. Comput., 2015

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents.

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Safety and Security Assessment of Behavioral Properties Using Alloy.

Julien Brunel, David Chemouil

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

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

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

2013

Towards an Updatable Strategy Logic

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

2011

A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

Towards a categorical framework to ensure correct software evolutions.

Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2008

An insertion operator preserving infinite reduction sequences.

David Chemouil

Math. Struct. Comput. Sci., 2008

Modes in Asynchronous Systems.

Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

A mapping from AADL to Java-RTSJ.

Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 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

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

The Design of Spacecraft On-Board Software.

David Chemouil

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

TOPCASED Combining Formal Methods with Model-Driven Engineering.

Nadège Pontisso, David Chemouil

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2005

Isomorphisms of simple inductive types through extensional rewriting.

David Chemouil

Math. Struct. Comput. Sci., 2005

Towards formalising AADL in Proof Assistants.

Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

2003

Remarks on isomorphisms of simple inductive types.

David Chemouil, Sergei Soloviev

Proceedings of the Mathematics, 2003

Some Algebraic Structures in Lambda-Calculus with Inductive Types.

Sergei Soloviev, David Chemouil

Proceedings of the Types for Proofs and Programs, International Workshop, 2003