An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. - David Cyrluk; M. Oliver Möller; Harald Rueß (CAV, 1997)

Solving Bit-Vector Equations. - M. Oliver Möller; Harald Rueß (FMCAD, 1998)

UPPAAL - Now, Next, and Future. - 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; et al. (MOVEP, 2000)

Heuristics for Hierarchical Partitioning with Application to Model Checking. - M. Oliver Möller; Rajeev Alur (CHARME, 2001)

Formal Verification of UML Statecharts with Real-Time Extensions. - Alexandre David; M. Oliver Möller; Wang Yi 001 (FASE, 2002)

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking. - M. Oliver Möller (Theory and Practice of Timed Systems @ ETAPS, 2002)

Predicate Abstraction for Dense Real-Time System. - M. Oliver Möller; Harald Rueß; Maria Sorea (Theory and Practice of Timed Systems @ ETAPS, 2002)