Michael Roth

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 2

Top Topics

Safety Analysis

Qualitative Analysis

Top Venues

ISSRE (Supplemental Proceedings)

SAFECOMP Workshops

ISSRE Workshops

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Michael Roth, Peter Liggesmeyer
Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems. SAFECOMP Workshops (2015)
Michael Roth, Agus Hartoyo, Peter Liggesmeyer
Efficient reachability graph development for qualitive analysis of state/event fault trees. ISSRE Workshops (2015)
Michael Roth, Peter Liggesmeyer
Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen. Echtzeit (2013)
Michael Roth, Peter Liggesmeyer
Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees. DECS@SAFECOMP (2013)
Michael Roth, Peter Liggesmeyer
Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems. ISSRE (Supplemental Proceedings) (2013)
Michael Roth, Max Steiner, Peter Liggesmeyer
Ein Ansatz zur integrierten Sicherheitsanalyse komplexer Systeme. Echtzeit (2012)