Julien Brunel

According to our database, Julien Brunel authored at least 38 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains.

David Doose, Julien Brunel

Proceedings of the Formal Methods and Software Engineering, 2024

2023

Verifying Temporal Relational Models with Pardinus.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Adding Records to Alloy.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2022

Pardinus: A Temporal Relational Model Finder.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

J. Autom. Reason., 2022

2021

A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic.

Quentin Peyras, Julien Brunel, David Chemouil

Inf. Comput., 2021

Sound Verification Procedures for Temporal Properties of Infinite-State Systems.

Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

On How to Identify Cache Coherence: Case of the NXP QorIQ T4240.

Nathanaël Sensfelder, Julien Brunel, Claire Pagetti

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

2019

Modeling Cache Coherence to Expose Interference (Artifact).

Nathanaël Sensfelder, Julien Brunel, Claire Pagetti

Dagstuhl Artifacts Ser., 2019

Simulation under Arbitrary Temporal Logic Constraints.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic.

Quentin Peyras, Julien Brunel, David Chemouil

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol.

Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Modeling Cache Coherence to Expose Interference.

Nathanaël Sensfelder, Julien Brunel, Claire Pagetti

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

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

Source Code Analysis with a Temporal Extension of First-Order Logic.

David Come, Julien Brunel, David Doose

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

The electrum analyzer: model checking relational first-order temporal specifications.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Analyzing the Fundamental Liveness Property of the Chord Protocol.

Julien Brunel, David Chemouil, Jeanne Tawa

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Proposition of an Action Layer for Electrum.

Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

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

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Lightweight specification and analysis of dynamic systems with rich configurations.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

On Finite Domains in First-Order Linear Temporal Logic.

Denis Kuperberg, Julien Brunel, David Chemouil

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

A logic with revocable and refinable strategies.

Christophe Chareton, Julien Brunel, David Chemouil

Inf. Comput., 2015

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents.

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Safety and Security Assessment of Behavioral Properties Using Alloy.

Julien Brunel, David Chemouil

Proceedings of the Computer Safety, Reliability, and Security, 2015

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

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

From Safety Models to Security Models: Preliminary Lessons Learnt.

Pierre Bieber, Julien Brunel

Proceedings of the Computer Safety, Reliability, and Security, 2014

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

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

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

Towards an Updatable Strategy Logic

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

2012

Formal Verification of a Safety Argumentation and Application to a Complex UAV System.

Julien Brunel, Jacques Cazin

Proceedings of the Computer Safety, Reliability, and Security, 2012

2011

A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

Towards a categorical framework to ensure correct software evolutions.

Sylvain Bouveret, Julien Brunel, David Chemouil, Fabien Dagnat

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

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

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

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

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2007

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.

Philippe Balbiani, Jan M. Broersen, Julien Brunel

Proceedings of the 5th Workshop on Methods for Modalities, 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

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Security policy compliance with violation management.

Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

Preservation of obligations in a temporal and deontic framework.

Jan M. Broersen, Julien Brunel

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

A State/Event Temporal Deontic Logic.

Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006