Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2018
- Formal analysis of feature degradation in fault-tolerant automotive systems Science of Computer Programming, 154(1):89–133, März 2018. Details DOI BIB
2017
- Software Deployment Analysis for Mixed Reliability Automotive Systems TU München, Juni 2017. Details URL BIB
2016
- A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, Januar 2016. Details DOI BIB
2015
- Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), 2015. IEEE. Details DOI BIB