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