Tool Supported Model-Based Safety Analysis and Optimization. - Matthias Güdemann; Michael Lipaczewski; Frank Ortmeier (PRDC, 2011)

Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. - Matthias Güdemann; Michael Lipaczewski; Frank Ortmeier; Marco Schumann; Robert Eschbach (PRDC, 2011)

Handlungsadaptive Produktionsassistenz. - Michael Lipaczewski; Frank Ortmeier (GI-Jahrestagung, 2012)

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. - Michael Lipaczewski; Simon Struck; Frank Ortmeier (HASE, 2012)

Multi-objective Optimization of Formal Specifications. - Simon Struck; Michael Lipaczewski; Frank Ortmeier; Matthias Güdemann (HASE, 2012)

SAML goes eclipse: combining model-based safety analysis and high-level editor support. - Michael Lipaczewski; Simon Struck; Frank Ortmeier (TOPI@ICSE, 2012)

Unifying Probabilistic and Traditional Formal Model Based Analysis. - Frank Ortmeier; Matthias Güdemann; Michael Lipaczewski; Simon Struck (MBEES, 2012)

Using model-based analysis in certification of critical software-intensive systems. - Frank Ortmeier; Simon Struck; Michael Lipaczewski (Software Engineering (Workshops), 2012)

Teaching and Training Formal Methods for Safety Critical Systems. - Michael Lipaczewski; Frank Ortmeier (EUROMICRO-SEAA, 2013)

On Efficiently Specifying Models for Model Checking. - Mykhaylo Nykolaychuk; Michael Lipaczewski; Tino Liebusch; Frank Ortmeier (IMBSA, 2014)

On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. - Lukas Mäurer; Tanja Hebecker; Torben Stolte; Michael Lipaczewski; Uwe Möhrstädt; Frank Ortmeier (SAM, 2014)

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. - Michael Lipaczewski; Frank Ortmeier; Tatiana Prosvirnova; Antoine Rauzy; Simon Struck (Reliab. Eng. Syst. Saf., 2015)