Simon Struck
According to our database1,
Simon Struck
authored at least 10 papers
between 2012 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
1
1
1
2
5
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Internet of Things, 2022
2015
Reliab. Eng. Syst. Saf., 2015
2013
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013
Optimizing Formal Specifications - Why and How.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013
2012
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012
Unifying Probabilistic and Traditional Formal Model Based Analysis.
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.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012
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.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012