A State/Event Temporal Deontic Logic. - Julien Brunel; Jean-Paul Bodeveix; Mamoun Filali (DEON, 2006)

Preservation of obligations in a temporal and deontic framework. - Jan M. Broersen; Julien Brunel (AAMAS, 2007)

Security policy compliance with violation management. - Julien Brunel; Frédéric Cuppens; Nora Cuppens-Boulahia; Thierry Sans; Jean-Paul Bodeveix (FMSE, 2007)

'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. - Jan M. Broersen; Julien Brunel (CLIMA, 2007)

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. - Philippe Balbiani; Jan M. Broersen; Julien Brunel (M4M, 2007)

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 (DSN, 2009)

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 (POPL, 2009)

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)

Formal Verification of a Safety Argumentation and Application to a Complex UAV System. - Julien Brunel; Jacques Cazin (SAFECOMP Workshops, 2012)

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

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. - Julia L. Lawall; Julien Brunel; Nicolas Palix; René Rydhof Hansen; Henrik Stuart; Gilles Muller (Softw. Pract. Exp., 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)

From Safety Models to Security Models: Preliminary Lessons Learnt. - Pierre Bieber; Julien Brunel (SAFECOMP Workshops, 2014)

Formal Safety and Security Assessment of an Avionic Architecture with Alloy. - Julien Brunel; Laurent Rioux; Stéphane Paul; Anthony Faucogney; Frédérique Vallée (ESSS, 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)

Performing Safety Analyses with AADL and AltaRica. - Julien Brunel; Peter H. Feiler; Jérôme Hugues; Bruce A. Lewis; Tatiana Prosvirnova; Christel Seguin; Lutz Wrage (IMBSA, 2017)

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)

Source Code Analysis with a Temporal Extension of First-Order Logic. - David Come; Julien Brunel; David Doose (SBMF, 2018)

Improving code quality in ROS packages using a temporal extension of first-order logic. - David Come; Julien Brunel; David Doose (Encycl. Semantic Comput. Robotic Intell., 2018)

Modeling Cache Coherence to Expose Interference. - Nathanaël Sensfelder; Julien Brunel; Claire Pagetti (ECRTS, 2019)

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)

Modeling Cache Coherence to Expose Interference (Artifact). - Nathanaël Sensfelder; Julien Brunel; Claire Pagetti (Dagstuhl Artifacts Ser., 2019)

On How to Identify Cache Coherence: Case of the NXP QorIQ T4240. - Nathanaël Sensfelder; Julien Brunel; Claire Pagetti (ECRTS, 2020)

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)

Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. - David Doose; Julien Brunel (ICFEM, 2024)

Cross-layer Formal Verification of Robotic Systems. - Sylvain Raïs; Julien Brunel; David Doose; Frédéric Herbreteau (FMAS@iFM, 2024)