Kristoffersen, Kåre J.

• 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. 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
• BRICS Report Series No. 41 (1999): RS-41 Verification of State/Event Systems by Quotienting - Articles
  Verification of State/Event Systems by Quotienting
  Abstract  PDF