The following pages link to Julien Brunel (Q821562):
Displaying 14 items.
- A decidable and expressive fragment of Many-Sorted first-order linear temporal logic (Q821564) (← links)
- Sound verification procedures for temporal properties of infinite-state systems (Q832273) (← links)
- On finite domains in first-order linear temporal logic (Q1990508) (← links)
- Pardinus: a temporal relational model finder (Q2102939) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Evaluating the Assignment of Behavioral Goals to Coalitions of Agents (Q2798044) (← links)
- A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic (Q3098057) (← links)
- (Q3388748) (← links)
- A State/Event Temporal Deontic Logic (Q3529355) (← links)
- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations (Q3602942) (← links)
- (Q5089123) (← links)
- A foundation for flow-based program matching (Q5261510) (← links)
- A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559) (← links)
- Mechanically verifying the fundamental liveness property of the Chord protocol (Q6535942) (← links)
