| 2024 | ICFEM | Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. | David Doose, Julien Brunel |
| 2021 | CAV | Sound Verification Procedures for Temporal Properties of Infinite-State Systems. | Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil |
| 2020 | ECRTS | On How to Identify Cache Coherence: Case of the NXP QorIQ T4240. | Nathanal Sensfelder, Julien Brunel, Claire Pagetti |
| 2019 | ECRTS | Modeling Cache Coherence to Expose Interference. | Nathanal Sensfelder, Julien Brunel, Claire Pagetti |
| 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 |
| 2014 | SAFECOMP | From Safety Models to Security Models: Preliminary Lessons Learnt. | Pierre Bieber, Julien Brunel |
| 2012 | SAFECOMP | Formal Verification of a Safety Argumentation and Application to a Complex UAV System. | Julien Brunel, Jacques Cazin |
| 2011 | ICDE | Towards a categorical framework to ensure correct software evolutions. | Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat |
| 2009 | DSN | WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. | Julia L. Lawall, Julien Brunel, Nicolas Palix, Ren Rydhof Hansen, Henrik Stuart, Gilles Muller |
| 2009 | POPL | A foundation for flow-based program matching: using temporal logic and model checking. | Julien Brunel, Damien Doligez, Ren Rydhof Hansen, Julia L. Lawall, Gilles Muller |
| 2007 | CCS | Security policy compliance with violation management. | Julien Brunel, Frdric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix |