Laroussinie, Francois
-
BRICS Report Series No. 2 (1995): RS-02 From Timed Automata to Logic and Back - Articles
From Timed Automata to Logic - and Back
Abstract PDF -
BRICS Report Series No. 19 (1995): RS-19 Compositional Model Checking of Real Time Systems - Articles
Compositional Model Checking of Real Time Systems
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. 32 (1999): RS-32 Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics - Articles
Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
Abstract PDF