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 using
model-based engineering techniques.
Since 2023 I work as an Associate Lecturer and teach a course on safe and rosbust 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 - 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 - Intrnational Conference on AI Engineering - Software Engineering for AI
- SATrends 2024 - International Workshop New Trends in Software Architecture
- WASSEE 2020 - Workshop for Automotive Software Systems Engineering Education
- DREAMS 2020 - Workshop: Dynamic Risk Management for AutonoMous Systems
Committee Duties and Event Organisation
- General Co-Chair - 7th International Symposium on Model-Based Safety and Assessment (IMSBA 2020)
- Co-Organiser - 8th International Symposium on Model-Based Safety and Assessment (IMSBA 2022)
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