Pettersson, Paul

• 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. 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. 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. 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. 60 (1996): RS-60 UPPAAL in 1995 - Articles
  UPPAAL in 1995
  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