According to our database1, Julien Brunel authored at least 31 papers between 2006 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Modeling Cache Coherence to Expose Interference (Artifact).
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
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
Performing Safety Analyses with AADL and AltaRica.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
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
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
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
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
Formal Verification of a Safety Argumentation and Application to a Complex UAV System.
Proceedings of the Computer Safety, Reliability, and Security, 2012
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
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
'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
A State/Event Temporal Deontic Logic.
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006