Julien Brunel

Inf. Comput., 2021

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

[BibT_eX]

[DOI]

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

2020

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

[BibT_eX]

[DOI]

Nathanaël Sensfelder

Claire Pagetti

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

2019

Modeling Cache Coherence to Expose Interference (Artifact).

[BibT_eX]

[DOI]

Nathanaël Sensfelder

Claire Pagetti

Dagstuhl Artifacts Ser., 2019

Simulation under Arbitrary Temporal Logic Constraints.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Quentin Peyras

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

Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol.

[BibT_eX]

[DOI]

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

Modeling Cache Coherence to Expose Interference.

[BibT_eX]

[DOI]

Nathanaël Sensfelder

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.

[BibT_eX]

[DOI]

David Come

David Doose

Encycl. Semantic Comput. Robotic Intell., 2018

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

[BibT_eX]

[DOI]

David Come

David Doose

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

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

[BibT_eX]

[DOI]

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

Analyzing the Fundamental Liveness Property of the Chord Protocol.

[BibT_eX]

[DOI]

Jeanne Tawa

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

Proposition of an Action Layer for Electrum.

[BibT_eX]

[DOI]

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

2017

Performing Safety Analyses with AADL and AltaRica.

[BibT_eX]

[DOI]

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

2016

Lightweight specification and analysis of dynamic systems with rich configurations.

[BibT_eX]

[DOI]

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

On Finite Domains in First-Order Linear Temporal Logic.

[BibT_eX]

[DOI]

Denis Kuperberg

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

A logic with revocable and refinable strategies.

[BibT_eX]

[DOI]

Inf. Comput., 2015

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents.

[BibT_eX]

[DOI]

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

Safety and Security Assessment of Behavioral Properties Using Alloy.

[BibT_eX]

[DOI]

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

2014

Formal Safety and Security Assessment of an Avionic Architecture with Alloy.

[BibT_eX]

[DOI]

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

From Safety Models to Security Models: Preliminary Lessons Learnt.

[BibT_eX]

[DOI]

Pierre Bieber

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

A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2013

Towards an Updatable Strategy Logic

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Towards a categorical framework to ensure correct software evolutions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Philippe Balbiani

Jan M. Broersen

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.

[BibT_eX]

[DOI]

Jan M. Broersen

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

Security policy compliance with violation management.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jan M. Broersen

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

2006

A State/Event Temporal Deontic Logic.

[BibT_eX]

[DOI]