November 2021Low-Redundancy Realization of Safety-Critical Automotive FunctionsSimon Barner, Stefan Matthes, Holger Dormann, Angelika Schingale, Eberhard Kaulfersch, Michael Eichhorst, Lutz Scheiter, Holger Schmidt and Jürgen Gebert
MikroSystemTechnik (MST) Kongress,
VDE Verlag GmbH Berlin Offenbach..
January 2016A Formal Model and Analysis of Feature Degradation in Fault-Tolerant SystemsKlaus Becker and Sebastian Voss
4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS),
March 2015Deployment Calculation and Analysis for a Fault-Tolerant System PlatformKlaus Becker and Bernhard Schätz
11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES),