I work as a Senior Key Expert for model-based safety and reliability engineering at Siemens Technology in Munich.
My research interests are focused on the efficient and effective development of dependability-relevant Cyber-physical Systems as well as the trustworthiness assurance of AI-based systems. Moreover, I am co-lead of the Siemens wide research program “Engineering and Validation of Intelligent Systems”.
With over 10-years’ experience in different industrial domains, such as automotive, railway, avionics, or industry automations, I have been involved in various industrial projects establishing model-based engineering techniques and assuring system safety.
Since 2023 also I work as an Associate Lecturer and teach a course on safe and robust autonomous systems at the
Augsburg Technical University of Applied Sciences.
Previously, I was a researcher at the
Fraunhofer Institute for Embedded Systems and Communication Technologies ESK.
In 2007 and I received a diploma in Computer Science from the
Karlsruhe Institute of Technology (KIT) and
obtained a PhD in Computer Science from the
University of Augsburg in 2013.
Contribution on GitHub
https://github.com/Digital-Dependability-Identities
https://github.com/panorama-research/mobstr-dataset
Publications
Service
Program Committees
- SASSUR 2017, 2018, 2019, 2022, 2023, 2024 - International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems
- IMBSA 2017, 2019, 2020, 2022 - International Symposium on Model Based Safety and Assessment
- MODELSWARD 2020, 2021, 2022, 2023, 2024 - International Conference on Model-Based Software and Systems Engineering
- CAIN 2024 - 3rd International Conference on AI Engineering – Software Engineering for AI
- INCOSE IS 2024 - 34th Annual INCOSE International Symposium
- SAML 2024 - 3rd International Workshop on Software Architecture and Machine Learning
- WASSEE 2020 - Workshop for Automotive Software Systems Engineering Education
- DREAMS 2020 - Workshop: Dynamic Risk Management for AutonoMous Systems
Committee Duties and Event Organisation
- Industry Track Co-Chair - 4th International Conference on AI Engineering – Software Engineering for AI (CAIN 2025)
- Co-Organiser - 8th International Symposium on Model-Based Safety and Assessment (IMSBA 2022)
- General Co-Chair - 7th International Symposium on Model-Based Safety and Assessment (IMSBA 2020)
Patents
- Method and apparatus for automatically generating a component fault tree of a safety-critical system; US-10061670-B2
- Automated qualification of a safety critical system; US-10241852-B2
- Safety assurance using fault trees for identifying dormant system failure states; EP-3416013-B1
- Method and apparatus for providing a safe operation of a technical system; US-10372848-B2
- Method and apparatus for generating a fault tree for a failure mode of a multi-mode system; US-10481989-B2
- Method and apparatus for a computer-based generation of component fault trees; US-10572331-B2
- Ring-closures in fault trees; EP-3570130-B1
- Computerimplementiertes verfahren und vorrichtung zur auflösung von geschlossenen schleifen bei der automatischen fehlerbaumanalyse eines mehrkomponentensystems; EP-3579074-B1
- Method and apparatus for automated hazard detection; US-11079749-B2
- Method for analyzing a physical system architecture of a safety-critical system; EP-3483753-B1
- Markov chains and component fault trees for modelling technical systems; US-11204601-B2
- System and method for controlling power grid connection of power consumption entity using an analytical artifact; US-11755401-B2
- Method for analyzing a physical system architecture of a safety-critical system; US-11507483-B2
- Method for identifying and evaluating common cause failures of system components; US-11567823-B2
- Control method and device that resolves closed loops in automatic fault tree analysis of a multi-component system; US-11853048-B2
- Method of modeling a component fault tree for an electric circuit; US-11900034-B2
- Verfahren und vorrichtung zum überprüfen eines komponentenfehlerbaums; EP-3173928-A1
- Method for determining at least one characteristic of at least a change; EP-3647943-B1
- System and method for safety analysis of failure behavior; US-11379634-B2
- Computer-implemented method for generating a mixed-layer fault tree of a multi-component system combining different layers of abstraction; US-11347919-B2
- Ring-closures in fault trees and normalized representation; WO-2021009039-A1
- Emergente risiken eines technischen systems; WO-2021028209-A1
- Operational safety using a distributed ledger; EP-3771139-B1
- Controlling an operation of a technical system automatically; EP-3961336-B1
- Computer-implemented method for generating a component fault and deficiency tree of a multi-component system comprising a plurality of components; US-11899556-B2