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:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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
Ein Ansatz zur integrierten Sicherheitsanalyse komplexer Systeme.
Proceedings of the Kommunikation unter Echtzeitbedingungen, 2012


  Loading...