fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Dependability

Export list as BibTeX file



  • January 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker and Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, Details DOI BIB


  • 2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker and Sebastian Voss In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), IEEE. Details DOI BIB