Simon Struck

According to our database, Simon Struck authored at least 10 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

IoT Device for Reduction of Roe Deer Fawn Mortality During Haymaking.

Tilman Leune, Carsten Koch, Stephan Fabry, Simon Struck

Proceedings of the Internet of Things, 2022

2015

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

2013

Efficient optimization of large probabilistic models.

Simon Struck, Matthias Güdemann, Frank Ortmeier

J. Syst. Softw., 2013

A Pragmatic Approach For Debugging Parameter-Driven Software.

Frank Ortmeier, Simon Struck, Jens Meinicke

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Optimizing Formal Specifications - Why and How.

Frank Ortmeier, Simon Struck

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

2012

Using model-based analysis in certification of critical software-intensive systems.

Frank Ortmeier, Simon Struck, Michael Lipaczewski

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Unifying Probabilistic and Traditional Formal Model Based Analysis.

Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

SAML goes eclipse: combining model-based safety analysis and high-level editor support.

Michael Lipaczewski, Simon Struck, Frank Ortmeier

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Multi-objective Optimization of Formal Specifications.

Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development.

Michael Lipaczewski, Simon Struck, Frank Ortmeier

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012