M. Oliver Möller

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

M. Oliver Möller, Harald Rueß, Maria Sorea
Predicate Abstraction for Dense Real-Time System. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Alexandre David, M. Oliver Möller, Wang Yi
Formal Verification of UML Statecharts with Real-Time Extensions. FASE (2002)
M. Oliver Möller
Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
M. Oliver Möller, Rajeev Alur
Heuristics for Hierarchical Partitioning with Application to Model Checking. CHARME (2001)
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi
UPPAAL - Now, Next, and Future. MOVEP (2000)
M. Oliver Möller, Harald Rueß
Solving Bit-Vector Equations. FMCAD (1998)
David Cyrluk, M. Oliver Möller, Harald Rueß
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. CAV (1997)