Export list as BibTeX file

2021

• November 2021 Low-Redundancy Realization of Safety-Critical Automotive Functions Simon Barner , Stefan Matthes , Holger Dormann , Angelika Schingale , Eberhard Kaulfersch , Michael Eichhorst , Lutz Scheiter , Holger Schmidt and Jürgen Gebert In MikroSystemTechnik (MST) Kongress, November 2021. VDE Verlag GmbH Berlin Offenbach.. Details URL BIB

2018

• March 2018 Formal analysis of feature degradation in fault-tolerant automotive systems Klaus Becker , Sebastian Voss and Bernhard Schätz Science of Computer Programming, 154(1):89–133, March 2018. Details DOI BIB

2017

• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, June 2017. Details URL BIB

2016

• 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, January 2016. Details DOI BIB

2015

• March 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker and Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, March 2015. Details URL BIB

2014

• 2014 A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems Klaus Becker , Bernhard Schätz , Michael Armbruster and Christian Buckl In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB