David Chemouil

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
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
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
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 logic with revocable and refinable strategies Information and Computation	2015-06-01	Paper
Remarks on isomorphisms of simple inductive types Electronic Notes in Theoretical Computer Science	2013-06-06	Paper
A formal treatment of agents, goals and operations using alternating-time temporal logic Formal Methods, Foundations and Applications	2011-11-11	Paper
An insertion operator preserving infinite reduction sequences Mathematical Structures in Computer Science	2008-08-15	Paper
Non-standard reductions and categorical models in typed lambda-calculus	2006-11-02	Paper
Isomorphisms of simple inductive types through extensional rewriting Mathematical Structures in Computer Science	2006-03-10	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2005-12-23	Paper

Research outcomes over time

This page was built for person: David Chemouil