Julien Brunel

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 20

Top Topics

Linear Temporal Logic

Top Venues

SAFECOMP Workshops

Publications

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Verifying Temporal Relational Models with Pardinus. ABZ (2023)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Adding Records to Alloy. ABZ (2023)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66 (4) (2022)
Quentin Peyras, Julien Brunel, David Chemouil
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic. Inf. Comput. 280 (2021)
Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil
Sound Verification Procedures for Temporal Properties of Infinite-State Systems. CAV (2) (2021)
Nathanaël Sensfelder, Julien Brunel, Claire Pagetti
On How to Identify Cache Coherence: Case of the NXP QorIQ T4240. ECRTS (2020)
Quentin Peyras, Julien Brunel, David Chemouil
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. TIME (2019)
Nathanaël Sensfelder, Julien Brunel, Claire Pagetti
Modeling Cache Coherence to Expose Interference (Artifact). Dagstuhl Artifacts Ser. 5 (1) (2019)
Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. FM (2019)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM (2019)
Nathanaël Sensfelder, Julien Brunel, Claire Pagetti
Modeling Cache Coherence to Expose Interference. ECRTS (2019)
David Come, Julien Brunel, David Doose
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic. IRC (2018)
Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
Proposition of an Action Layer for Electrum. ABZ (2018)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
The electrum analyzer: model checking relational first-order temporal specifications. ASE (2018)
David Come, Julien Brunel, David Doose
Source Code Analysis with a Temporal Extension of First-Order Logic. SBMF (2018)
Julien Brunel, David Chemouil, Jeanne Tawa
Analyzing the Fundamental Liveness Property of the Chord Protocol. FMCAD (2018)
David Come, Julien Brunel, David Doose
Improving code quality in ROS packages using a temporal extension of first-order logic. Encycl. Semantic Comput. Robotic Intell. 2 (1) (2018)
Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage
Performing Safety Analyses with AADL and AltaRica. IMBSA (2017)
Denis Kuperberg, Julien Brunel, David Chemouil
On Finite Domains in First-Order Linear Temporal Logic. ATVA (2016)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg
Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE (2016)
Christophe Chareton, Julien Brunel, David Chemouil
A logic with revocable and refinable strategies. Inf. Comput. 242 (2015)
Julien Brunel, David Chemouil
Safety and Security Assessment of Behavioral Properties Using Alloy. SAFECOMP Workshops (2015)
Christophe Chareton, Julien Brunel, David Chemouil
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. SBMF (2015)
Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. MoDeVVa@MoDELS (2014)
Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée
Formal Safety and Security Assessment of an Avionic Architecture with Alloy. ESSS (2014)
Pierre Bieber, Julien Brunel
From Safety Models to Security Models: Preliminary Lessons Learnt. SAFECOMP Workshops (2014)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. 43 (1) (2013)
Christophe Chareton, Julien Brunel, David Chemouil
Towards an Updatable Strategy Logic SR (2013)
Julien Brunel, Jacques Cazin
Formal Verification of a Safety Argumentation and Application to a Complex UAV System. SAFECOMP Workshops (2012)
Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat
Towards a categorical framework to ensure correct software evolutions. ICDE Workshops (2011)
Christophe Chareton, Julien Brunel, David Chemouil
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. SBMF (2011)
Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller
A foundation for flow-based program matching: using temporal logic and model checking. POPL (2009)
Philippe Balbiani, Jan M. Broersen, Julien Brunel
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. Electron. Notes Theor. Comput. Sci. 231 (2009)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN (2009)
Jan M. Broersen, Julien Brunel
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. CLIMA (2007)
Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix
Security policy compliance with violation management. FMSE (2007)
Jan M. Broersen, Julien Brunel
Preservation of obligations in a temporal and deontic framework. AAMAS (2007)
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
A State/Event Temporal Deontic Logic. DEON (2006)