Jean-Paul Bodeveix

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
Sound verification procedures for temporal properties of infinite-state systems	2022-03-25	Paper
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems Formal Aspects of Computing	2021-08-30	Paper
Event algebra for transition systems composition application to timed automata Acta Informatica	2018-08-10	Paper
Automatic Verification of Bossa Scheduler Properties Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
An automatic technique for checking the simulation of timed systems Automated Technology for Verification and Analysis	2014-07-08	Paper
A mechanized semantic framework for real-time systems Lecture Notes in Computer Science	2013-08-16	Paper
An alternative definition for timed automata composition Automated Technology for Verification and Analysis	2011-10-07	Paper
A State/Event Temporal Deontic Logic Deontic Logic and Artificial Normative Systems	2008-10-09	Paper
scientific article; zbMATH DE number 2185682 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 2080009 (Why is no real title available?)	2004-08-03	Paper
Reduction and quantifier elimination techniques for program validation Formal Methods in System Design	2002-04-11	Paper
scientific article; zbMATH DE number 1629961 (Why is no real title available?)	2001-11-04	Paper
scientific article; zbMATH DE number 978762 (Why is no real title available?)	1997-02-16	Paper

Research outcomes over time

This page was built for person: Jean-Paul Bodeveix