M. Oliver Möller

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...