Bernard Berthomieu

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
Sleptsov nets are Turing-complete Theoretical Computer Science	2024-01-16	Paper
Petri Net Reductions for Counting Markings Model Checking Software	2023-03-21	Paper
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking Fundamenta Informaticae	2022-10-31	Paper
On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (available as arXiv preprint)	2022-03-21	Paper
Automating the verification of realtime observers using probes and the modal mu-calculus Topics in Theoretical Computer Science	2016-04-01	Paper
Time Petri nets with dynamic firing dates: semantics and applications Lecture Notes in Computer Science	2015-08-06	Paper
An experiment on parallel model checking of a CTL fragment Automated Technology for Verification and Analysis	2012-11-21	Paper
On the composition of time Petri nets Discrete Event Dynamic Systems	2011-11-08	Paper
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets Lecture Notes in Computer Science	2008-07-08	Paper
Model Checking Bounded Prioritized Time Petri Nets Automated Technology for Verification and Analysis	2008-07-03	Paper
Reachability problems and abstract state spaces for time Petri nets with stopwatches Discrete Event Dynamic Systems	2007-06-07	Paper
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets International Journal of Production Research	2005-04-26	Paper
scientific article; zbMATH DE number 1973993 (Why is no real title available?)	2003-09-03	Paper
scientific article; zbMATH DE number 1956600 (Why is no real title available?)	2003-07-30	Paper

Research outcomes over time

This page was built for person: Bernard Berthomieu