Möller, M. Oliver
-
BRICS Report Series Nr. 18 (1999): RS-18 Solving Bit-Vector Equations of Fixed and Non-Fixed Size - Artikler
Solving Bit-Vector Equations of Fixed and Non-Fixed Size
Resumé PDF (English) -
BRICS Report Series Nr. 21 (2000): RS-21 Heuristics for Hierarchical Partitioning with Application to Model Checking - Artikler
Heuristics for Hierarchical Partitioning with Application to Model Checking
Resumé PDF (English) -
BRICS Report Series Nr. 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems - Artikler
Predicate Abstraction for Dense Real-Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 11 (2001): RS-11 From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata - Artikler
From HUPPAAL to UPPAAL - A Translation from Hierarchical Timed Automata to Flat Timed Automata
Resumé