Simon Struck

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 1

Top Topics

Formal Specification

Efficient Optimization

Process Algebra

Parameter Space

Top Venues

J. Syst. Softw.

Reliab. Eng. Syst. Saf.

Publications

Tilman Leune, Carsten Koch, Stephan Fabry, Simon Struck
IoT Device for Reduction of Roe Deer Fawn Mortality During Haymaking. GIOTS (2022)
Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Reliab. Eng. Syst. Saf. 140 (2015)
Frank Ortmeier, Simon Struck, Jens Meinicke
A Pragmatic Approach For Debugging Parameter-Driven Software. Software Engineering (2013)
Frank Ortmeier, Simon Struck
Optimizing Formal Specifications - Why and How. MBEES (2013)
Simon Struck, Matthias Güdemann, Frank Ortmeier
Efficient optimization of large probabilistic models. J. Syst. Softw. 86 (10) (2013)
Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck
Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES (2012)
Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann
Multi-objective Optimization of Formal Specifications. HASE (2012)
Frank Ortmeier, Simon Struck, Michael Lipaczewski
Using model-based analysis in certification of critical software-intensive systems. Software Engineering (Workshops) (2012)
Michael Lipaczewski, Simon Struck, Frank Ortmeier
SAML goes eclipse: combining model-based safety analysis and high-level editor support. TOPI@ICSE (2012)
Michael Lipaczewski, Simon Struck, Frank Ortmeier
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. HASE (2012)