M. Oliver Möller

According to our database, M. Oliver Möller authored at least 7 papers between 1997 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Predicate Abstraction for Dense Real-Time System.

M. Oliver Möller, Harald Rueß, Maria Sorea

Proceedings of the Theory and Practice of Timed Systems, 2002

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking.

M. Oliver Möller

Proceedings of the Theory and Practice of Timed Systems, 2002

Formal Verification of UML Statecharts with Real-Time Extensions.

Alexandre David, M. Oliver Möller, Wang Yi

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Heuristics for Hierarchical Partitioning with Application to Model Checking.

M. Oliver Möller, Rajeev Alur

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

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, Wang Yi

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1998

Solving Bit-Vector Equations.

M. Oliver Möller, Harald Rueß

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.

David Cyrluk, M. Oliver Möller, Harald Rueß

Proceedings of the Computer Aided Verification, 9th International Conference, 1997