# M. Oliver Möller

According to our database

Collaborative distances:

^{1}, M. Oliver Möller authored at least 7 papers between 1997 and 2002.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2002

Predicate Abstraction for Dense Real-Time System.

Electr. Notes Theor. Comput. Sci., 2002

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

Electr. Notes Theor. Comput. Sci., 2002

Formal Verification of UML Statecharts with Real-Time Extensions.

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Heuristics for Hierarchical Partitioning with Application to Model Checking.

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

UPPAAL - Now, Next, and Future.

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

1998

Solving Bit-Vector Equations.

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

1997

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

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