Liste als BibTeX-Datei exportieren

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 und Jürgen Gebert In MikroSystemTechnik (MST) Kongress, November 2021. VDE Verlag GmbH Berlin Offenbach.. Details URL BIB

2018

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

2017

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

2016

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

2015

• März 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker und Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), Seiten 100-109, März 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 und Christian Buckl In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB