Paul Pettersson

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
Model-checking for real-time systems Fundamentals of Computation Theory	2022-12-09	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2009-06-04	Paper
Model Checking Timed Automata with Priorities Using DBM Subtraction Lecture Notes in Computer Science	2008-07-08	Paper
Partial Order Reduction for Verification of Real-Time Components Lecture Notes in Computer Science	2008-07-03	Paper
Inference of Event-Recording Automata Using Timed Decision Trees CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
Task automata: Schedulability, decidability and undecidability Information and Computation	2007-08-23	Paper
Schedulability analysis of fixed-priority systems using timed automata Theoretical Computer Science	2006-04-28	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2005-12-02	Paper
scientific article; zbMATH DE number 2143087 (Why is no real title available?)	2005-03-08	Paper
scientific article; zbMATH DE number 2080041 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2080067 (Why is no real title available?)	2004-08-04	Paper
Compact data structures and state-space reduction for model-checking real-time systems Real-Time Systems	2004-05-27	Paper
scientific article; zbMATH DE number 1956583 (Why is no real title available?)	2003-07-30	Paper
Automated verification of an audio-control protocol using UPPAAL The Journal of Logic and Algebraic Programming	2003-02-13	Paper
Formal design and analysis of a gear controller International Journal on Software Tools for Technology Transfer. STTT	2002-09-29	Paper
scientific article; zbMATH DE number 1794367 (Why is no real title available?)	2002-09-03	Paper
scientific article; zbMATH DE number 1701758 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1629959 (Why is no real title available?)	2001-11-06	Paper
Guided synthesis of control programs using UPPAAL Nordic Journal of Computing	2001-09-27	Paper
Uppaal in a nutshell International Journal on Software Tools for Technology Transfer. STTT	1997-01-01	Paper

Research outcomes over time

This page was built for person: Paul Pettersson