Julien Brunel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mechanically verifying the fundamental liveness property of the Chord protocol	2024-03-14	Paper
Source code analysis with a temporal extension of first-order logic Lecture Notes in Computer Science	2023-08-02	Paper
A bounded domain property for an expressive fragment of first-order linear temporal logic	2023-02-03	Paper
Pardinus: a temporal relational model finder Journal of Automated Reasoning	2022-12-12	Paper
scientific article; zbMATH DE number 7559352 (Why is no real title available?)	2022-07-18	Paper
Sound verification procedures for temporal properties of infinite-state systems	2022-03-25	Paper
A decidable and expressive fragment of many-sorted first-order linear temporal logic Information and Computation	2021-09-21	Paper
Towards an updatable strategy logic	2021-05-06	Paper
Towards an updatable strategy logic (available as arXiv preprint)	2021-05-06	Paper
On finite domains in first-order linear temporal logic	2018-10-25	Paper
Evaluating the assignment of behavioral goals to coalitions of agents Lecture Notes in Computer Science	2016-04-01	Paper
A foundation for flow-based program matching: using temporal logic and model checking Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-07-03	Paper
A logic with revocable and refinable strategies Information and Computation	2015-06-01	Paper
A formal treatment of agents, goals and operations using alternating-time temporal logic Formal Methods, Foundations and Applications	2011-11-11	Paper
‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations Lecture Notes in Computer Science	2009-02-12	Paper
A State/Event Temporal Deontic Logic Deontic Logic and Artificial Normative Systems	2008-10-09	Paper

Research outcomes over time

This page was built for person: Julien Brunel