Jean-Paul Bodeveix

Available identifiers

zbMath Open bodeveix.jean-paulMaRDI QIDQ239156

List of research outcomes

Publication	Date of Publication	Type
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	2021-08-30	Paper
Event algebra for transition systems composition application to timed automata	2018-08-10	Paper
Automatic Verification of Bossa Scheduler Properties	2015-03-18	Paper
An Automatic Technique for Checking the Simulation of Timed Systems	2014-07-08	Paper
A Mechanized Semantic Framework for Real-Time Systems	2013-08-16	Paper
An Alternative Definition for Timed Automata Composition	2011-10-07	Paper
A State/Event Temporal Deontic Logic	2008-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q3024861	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4472192	2004-08-03	Paper
Reduction and quantifier elimination techniques for program validation	2002-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2729077	2001-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4332858	1997-02-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean-Paul Bodeveix