Paul Pettersson

From MaRDI portal
Person:225080

Available identifiers

zbMath Open pettersson.paulMaRDI QIDQ225080

List of research outcomes





PublicationDate of PublicationType
Model-checking for real-time systems2022-12-09Paper
Formal Approaches to Software Testing2009-06-04Paper
Model Checking Timed Automata with Priorities Using DBM Subtraction2008-07-08Paper
Partial Order Reduction for Verification of Real-Time Components2008-07-03Paper
Inference of Event-Recording Automata Using Timed Decision Trees2007-09-04Paper
Task automata: Schedulability, decidability and undecidability2007-08-23Paper
Schedulability analysis of fixed-priority systems using timed automata2006-04-28Paper
Formal Approaches to Software Testing2005-12-02Paper
https://portal.mardi4nfdi.de/entity/Q46547242005-03-08Paper
https://portal.mardi4nfdi.de/entity/Q44722282004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44722612004-08-04Paper
Compact data structures and state-space reduction for model-checking real-time systems2004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44179252003-07-30Paper
Automated verification of an audio-control protocol using UPPAAL2003-02-13Paper
Formal design and analysis of a gear controller2002-09-29Paper
https://portal.mardi4nfdi.de/entity/Q45524632002-09-03Paper
https://portal.mardi4nfdi.de/entity/Q27695862002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27290752001-11-06Paper
Guided synthesis of control programs using UPPAAL2001-09-27Paper
Uppaal in a nutshell1997-01-01Paper

Research outcomes over time

This page was built for person: Paul Pettersson

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