Julien Brunel

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