Pettersson, Paul
-
BRICS Report Series Nr. 57 (1996): RS-57 Diagnostic Model-Checking for Real-Time Systems - Artikler
Diagnostic Model Checking for Real-Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 3 (2000): RS-3 On Memory-Block Traversal Problems in Model Checking Timed Systems - Artikler
On Memory-Block Traversal Problems in Model Checking Timed Systems
Resumé PDF (English) -
BRICS Report Series Nr. 59 (1996): RS-59 Compositional and Symbolic Model-Checking of Real-Time Systems - Artikler
Compositional and Symbolic Model-Checking of Real-Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 37 (2000): RS-37 Guided Synthesis of Control Programs for a Batch Plant using UPPAAL - Artikler
Guided Synthesis of Control Programs for a Batch Plant using UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 55 (1996): RS-55 A Compositional Proof of a Real-Time Mutual Exclusion Protocol - Artikler
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Resumé PDF (English) -
BRICS Report Series Nr. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems - Artikler
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 60 (1996): RS-60 UPPAAL in 1995 - Artikler
UPPAAL in 1995
Resumé PDF (English) -
BRICS Report Series Nr. 3 (2001): RS-3 Minimum-Cost Reachability for Priced Timed Automata - Artikler
Minimum-Cost Reachability for Priced Timed Automata
Resumé PDF (English) -
BRICS Report Series Nr. 4 (2001): RS-4 Efficient Guiding Towards Cost-Optimality in UPPAAL - Artikler
Efficient Guiding Towards Cost-Optimality in UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 53 (1999): RS-53 Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL - Artikler
Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL
Resumé PDF (English)