Publications
- Formal analysis of feature degradation in fault-tolerant automotive systems Science of Computer Programming, 154(1):89–133, March 2018. Details DOI BIB
- Software Deployment Analysis for Mixed Reliability Automotive Systems TU München, June 2017. Details URL BIB
- Towards an Industry 4.0 Compliant Control Software Architecture Using IEC 61499 & OPC UA In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details DOI BIB
- 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, January 2016. Details DOI BIB
- RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions In 3rd Workshop on Critical Automotive applications - Robustness & Safety (CARS), Paris, France, September 2015. Details URL BIB
- Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy Systems In Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XI Model-Based Development of Embedded Systems, April 2015. Dagstuhl-Workshop MBEES: Eleventh Workshop on Modellbasierte Entwicklung Eingebetteter Systeme, Details URL BIB
- Deployment Calculation and Analysis for a Fault-Tolerant System Platform In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, March 2015. Details URL BIB
- An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details DOI BIB
- 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
- Deployment Calculation and Analysis for a Fail-Operational Automotive Platform In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), May 2014. Details URL BIB
- A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB
- RACE: A Centralized Platform Computer Based Architecture for Automotive Applications In Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013), October 2013. IEEE. Details DOI BIB
- Towards Certified Runtime Verification In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 2012. ACM. Details DOI BIB
- SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern In Automotive - Safety & Security, 2012. Details URL BIB