Julien Brunel

Available identifiers

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	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	2022-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q5089123	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	2021-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q3388748	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	2016-04-01	Paper
A foundation for flow-based program matching	2015-07-03	Paper
A logic with revocable and refinable strategies	2015-06-01	Paper
A formal treatment of agents, goals and operations using alternating-time temporal logic	2011-11-11	Paper
‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations	2009-02-12	Paper
A State/Event Temporal Deontic Logic	2008-10-09	Paper

This page was built for person: Julien Brunel