Entwicklung korrekter Systeme

Dipl.-Inform. Michael Möller

E-Mail: Michael.Moeller

Seit April 2007 arbeitet Michael Möller als Software-Entwickler bei der CeWe Color AG & Co. OHG.

Foto

 


zum Seitenanfang

Curriculum Vitae

1/2000 Informatik-Diplom an der Universität Oldenburg
2/2000-2/2001 Software-Entwickler bei CANBOX Europe GmbH
2/2001-3/2007 in der Abteilung Semantik als wissenschaftlicher Mitarbeiter beschäftigt


zum Seitenanfang

Projekte

ForMooS
zum Seitenanfang

Werkzeuge

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

zum Seitenanfang

Publikationen

[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 ]