David Chemouil

MaRDI QIDQ821563zbMATH OpenORCIDWikidataFDO

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
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 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