| 2021 | CAV | Sound Verification Procedures for Temporal Properties of Infinite-State Systems. | Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil |
| 2019 | FM | Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. | Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali |
| 2019 | TIME | A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. | Quentin Peyras, Julien Brunel, David Chemouil |
| 2018 | FMCAD | Analyzing the Fundamental Liveness Property of the Chord Protocol. | Julien Brunel, David Chemouil, Jeanne Tawa |
| 2016 | ATVA | On Finite Domains in First-Order Linear Temporal Logic. | Denis Kuperberg, Julien Brunel, David Chemouil |
| 2015 | SAFECOMP | Safety and Security Assessment of Behavioral Properties Using Alloy. | Julien Brunel, David Chemouil |
| 2014 | MODELS | A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. | Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frdrique Valle |
| 2011 | ICDE | Towards a categorical framework to ensure correct software evolutions. | Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat |
| 2008 | ICECCS | Modes in Asynchronous Systems. | Jean-Franois Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas |
| 2007 | ICECCS | The AADL behaviour annex - experiments and roadmap. | Ricardo Bedin Frana, Jean-Paul Bodeveix, Mamoun Filali, Jean-Franois Rolland, David Chemouil, Dave Thomas |