Simon Struck

Simon Struck
Mail: simon.struck@ovgu.de



I hold a Diploma in Electrical Engineering (Munich University of Applied Sciences, Germany) and a Master of Science in Computer Systems in Engineering (Otto-Von-Guericke-Universität Magdeburg, Germany). Currently I am working as a researcher at the working group Computer Systems in Engineering. My research interests are multi-objective optimization, model-based verification and quantitative safety analysis. In my spare time I am interested in electronics, mountaineering, bicycles and photography.

Simon Struck

Publications

2015

Lipaczewski, Michael; Prosvirnova, Tatiana; Ortmeier, Frank; Rauzy, Antoine; Struck, Simon

Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica Artikel

Reliability Engineering & System Safety, 2015.

Abstract | Links | BibTeX

2013

Ortmeier, Frank; Struck, Simon; Meinicke, Jens; Quante, Jochen

A Pragmatic Approach For Debugging Parameter-Driven Software Inproceedings

Kowalewski, Stefan; Rumpe, Bernhard (Hrsg.): Software Engineering 2013, S. 199-212, 2013.

Abstract | Links | BibTeX

Ortmeier, Frank; Struck, Simon; Güdemann, Matthias

Efficient Optimization of Large Probabilistic Models Artikel

Elsevier Journal of Systems and Software, 03/78 , 2013.

Abstract | Links | BibTeX

2012

Ortmeier, Frank; Struck, Simon; Lipaczewski, Michael

Using Model-Based Analysis in Certification of Critical Software-Intensive Systems Inproceedings

Softwareengineering 2012 Workshopband, 2012, ISBN: 978-3-88579-293-2.

Abstract | Links | BibTeX

Struck, Simon

Approaches to Multi-Objective Optimization of Formal Specifications Abschlussarbeit

2012.

Links | BibTeX

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

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

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

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

Unifying Probabilistic and Traditional Formal Model-Based Analysis Konferenz

Proceedings of 8. Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2012.

Abstract | Links | BibTeX

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

Multi-Objective Optimization of Formal Specifications Konferenz

IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE 2012), 2012.

Abstract | Links | BibTeX

Lipaczewski, Michael; Struck, Simon; Ortmeier, Frank

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support Konferenz

Proceedings of the 2nd International Workshop on Developing Tools as Plug-Ins (TOPI), IEEE, 2012.

Abstract | Links | BibTeX