Michael Möller

According to our database, Michael Möller authored at least 4 papers between 2001 and 2008.

Collaborative distances:

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

2008

Integrating a formal method into a software engineering process with UML and Java.

Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim

Formal Aspects Comput., 2008

2004

Linking CSP-OZ with UML and Java: A Case Study.

Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2002

Dynamic Event Generation for Runtime Checking using the JDI.

Mark Brörkens, Michael Möller

Proceedings of the Runtime Verification 2002, 2002

2001

Jass - Java with Assertions.

Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim

Proceedings of the Workshop on Runtime Verification, 2001