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