Jean-Paul Bodeveix

From MaRDI portal
Person:239156

Available identifiers

zbMath Open bodeveix.jean-paulMaRDI QIDQ239156

List of research outcomes





PublicationDate of PublicationType
Mechanically verifying the fundamental liveness property of the Chord protocol2024-03-14Paper
Sound verification procedures for temporal properties of infinite-state systems2022-03-25Paper
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems2021-08-30Paper
Event algebra for transition systems composition application to timed automata2018-08-10Paper
Automatic Verification of Bossa Scheduler Properties2015-03-18Paper
An Automatic Technique for Checking the Simulation of Timed Systems2014-07-08Paper
A Mechanized Semantic Framework for Real-Time Systems2013-08-16Paper
An Alternative Definition for Timed Automata Composition2011-10-07Paper
A State/Event Temporal Deontic Logic2008-10-09Paper
https://portal.mardi4nfdi.de/entity/Q30248612005-07-04Paper
https://portal.mardi4nfdi.de/entity/Q44721922004-08-03Paper
Reduction and quantifier elimination techniques for program validation2002-04-11Paper
https://portal.mardi4nfdi.de/entity/Q27290772001-11-04Paper
https://portal.mardi4nfdi.de/entity/Q43328581997-02-16Paper

Research outcomes over time

This page was built for person: Jean-Paul Bodeveix

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:239156&oldid=11971664"
Powered by MediaWiki