David Chemouil

Available identifiers

Publication	Date of Publication	Type
Mechanically verifying the fundamental liveness property of the Chord protocol	2024-03-14	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
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 logic with revocable and refinable strategies	2015-06-01	Paper
Remarks on Isomorphisms of Simple Inductive Types	2013-06-06	Paper
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic	2011-11-11	Paper
An insertion operator preserving infinite reduction sequences	2008-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q5395259	2006-11-02	Paper
Isomorphisms of simple inductive types through extensional rewriting	2006-03-10	Paper
Types for Proofs and Programs	2005-12-23	Paper

This page was built for person: David Chemouil