Michael Roth
Affiliations:- Kaiserslautern University of Technology, Germany
According to our database1,
Michael Roth
authored at least 7 papers
between 2012 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Qualitative Reliability Analysis of Software-Controlled Systems using State/Event Fault Trees.
PhD thesis, 2017
2015
Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2015
Efficient reachability graph development for qualitive analysis of state/event fault trees.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015
2013
Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees.
Proceedings of the SAFECOMP 2013, 2013
Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen.
Proceedings of the Funktionale Sicherheit, 2013
Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
2012
Proceedings of the Kommunikation unter Echtzeitbedingungen, 2012