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)

Optimizing Formal Specifications - Why and How. - Frank Ortmeier; Simon Struck (MBEES, 2013)

A Pragmatic Approach For Debugging Parameter-Driven Software. - Frank Ortmeier; Simon Struck; Jens Meinicke (Software Engineering, 2013)

Efficient optimization of large probabilistic models. - Simon Struck; Matthias Güdemann; Frank Ortmeier (J. Syst. Softw., 2013)

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)

IoT Device for Reduction of Roe Deer Fawn Mortality During Haymaking. - Tilman Leune; Carsten Koch; Stephan Fabry; Simon Struck (GIOTS, 2022)