UPPAAL-Modelle als ausführbare Spezifikation in Java. - Michael Goedicke; Moritz Balz; Michael Striewe (Software Engineering (Workshops), 2008)

Adaptive User Profiles in Pervasive Advertising Environments. - Florian Alt; Moritz Balz; Stefanie Kristes; Alireza Sahami Shirazi; Julian Mennenöh; Albrecht Schmidt 001; Hendrik Schröder; Michael Goedicke (AmI, 2009)

A Flexible and Modular Software Architecture for Computer Aided Assessments and Automated Marking. - Michael Striewe; Moritz Balz; Michael Goedicke (CSEDU (2), 2009)

Embedding Behavioral Models into Object-Oriented Source Code. - Moritz Balz; Michael Striewe; Michael Goedicke (Software Engineering, 2009)

Teaching Programming with Formal Models in Greenfoot. - Moritz Balz; Michael Goedicke (CSEDU (2), 2010)

Tool support for continuous maintenance of state machine models in program code. - Moritz Balz; Michael Striewe; Michael Goedicke (ASE, 2010)

SyLaGen - An Extendable Tool Environment for Generating Load. - Michael Striewe; Moritz Balz; Michael Goedicke (MMB/DFT, 2010)

Monitoring Model Specifications in Program Code Patterns. - Moritz Balz; Michael Striewe; Michael Goedicke (Models@run.time, 2010)

Representing Formal Component Models in OSGi. - Marco Müller 001; Moritz Balz; Michael Goedicke (Software Engineering, 2010)

Towards Domain-specific Modeling for Java Enterprise Applications. - Moritz Balz; Michael Goedicke (MSVVEIS, 2010)

Enriching Java Enterprise interfaces with formal sequential contracts. - Marco Müller 001; Moritz Balz; Michael Goedicke (BM-FA, 2011)

Enriching OSGi Service Interfaces with Formal Sequential Contracts. - Marco Müller 001; Moritz Balz; Michael Goedicke (Software Engineering (Workshops), 2011)

Embedding model specifications in object-oriented program code: a bottom-up approach for model-based software development. - Moritz Balz (2011)