Correct System Design

Dipl.-Inform. Michael Möller

email: Michael.Moeller

Since April 2007 Michael Möller works as software developer at CeWe Color AG & Co. OHG.

Foto

 


top of page

Curriculum Vitae

1/2000 Diploma degree in Informatics at the University of Oldenburg
2/2000-2/2001 Software developer at CANBOX Europe GmbH
2/2001-3/2007 Research Assistant in the Correct System Design Group (former Semantics Group)


top of page

Projects

ForMooS
top of page

Tools

  • Moby, Moby/PLC, moby/RT, ...
  • Jass - Java with assertions
  • Jassda - Jass Debugger Architecture
  • Syspect - A System Specification Tool

top of page

Publications

[M05]
M. Möller. Mapping formal specifications to java contracts. In Proceedings of the 17th Nordic Workshop on Programming Theory, pages 100-102. University of Copenhagen, Denmark, October 2005.
[ bib | .pdf ]

[MORW04]
M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Linking CSP-OZ with UML and Java: A Case Study. In E. Boiten, J. Derrick, and G. Smith, editors, Integrated Formal Methods, number 2999 in Lecture Notes in Computer Science, pages 267-286. Springer-Verlag, March 2004.
[ bib | .pdf | Abstract ]

[BM02a]
M. Brörkens and M. Möller. Dynamic Event Generation for Runtime Checking using the JDI. In Klaus Havelund and Grigore Rosu, editors, Proceedings of the Second Workshop on Runtime Verification (RV'02), Copenhagen, Denmark, July 2002, volume 70 of Electronic Notes in Theoretical Computer Science. Elsevier Science, July 2002. This publication is available at ENTCS.
[ bib | .pdf | Abstract ]

[M02]
Michael Möller. Specifying and Checking Java using CSP. In Workshop on Formal Techniques for Java-like Programs - FTfJP'2002. Computing Science Department, University of Nijmegen, June 2002. Technical Report NIII-R0204.
[ bib | .pdf | Abstract ]

[BM02b]
M. Brörkens and M. Möller. jassda Trace Assertions. In Ina Schieferdecker, Hartmut König, and Adam Wolisz, editors, Trends in Testing Communicating Systems, International Confernece on Testing Communicating Systems (TestCom), pages 39-48, Berlin, Germany, March 2002.
[ bib | .pdf ]

[BFMW01]
D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim. Jass - Java with Assertions. In Klaus Havelund and Grigore Rosu, editors, Proceedings of the First Workshop on Runtime Verification (RV'01), Paris, France, July 2001, volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001. This publication is available at ENTCS.
[ bib | .pdf | Abstract ]