Julien Brunel

According to our database1, Julien Brunel authored at least 31 papers between 2006 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Modeling Cache Coherence to Expose Interference (Artifact).
DARTS, 2019

Simulation under Arbitrary Temporal Logic Constraints.
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.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Modeling Cache Coherence to Expose Interference.
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.
Encycl. Semantic Comput. Robotic Intell., 2018

Source Code Analysis with a Temporal Extension of First-Order Logic.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

The electrum analyzer: model checking relational first-order temporal specifications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Analyzing the Fundamental Liveness Property of the Chord Protocol.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Proposition of an Action Layer for Electrum.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Performing Safety Analyses with AADL and AltaRica.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016
Lightweight specification and analysis of dynamic systems with rich configurations.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

On Finite Domains in First-Order Linear Temporal Logic.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
A logic with revocable and refinable strategies.
Inf. Comput., 2015

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Safety and Security Assessment of Behavioral Properties Using Alloy.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2014
Formal Safety and Security Assessment of an Avionic Architecture with Alloy.
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

From Safety Models to Security Models: Preliminary Lessons Learnt.
Proceedings of the Computer Safety, Reliability, and Security, 2014

A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.
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.
Softw., Pract. Exper., 2013

Towards an Updatable Strategy Logic
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.
Proceedings of the Computer Safety, Reliability, and Security, 2012

2011
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

Towards a categorical framework to ensure correct software evolutions.
Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2009
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.
Electr. Notes Theor. Comput. Sci., 2009

A foundation for flow-based program matching: using temporal logic and model checking.
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.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2007
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Security policy compliance with violation management.
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

Preservation of obligations in a temporal and deontic framework.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006
A State/Event Temporal Deontic Logic.
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006


  Loading...