Publications
Export list as BibTeX file
- 2017Towards an Industry 4.0 Compliant Control Software Architecture Using IEC 61499 & OPC UATarik Terzimehić, Monika Wenger, Alois Zoitl, Andreas Bayha, Klaus Becker, Thorsten Müller and Hubertus Schauerte
In
IEEE International Conference on Emerging Technologies And Factory Automation (ETFA),
DetailsBIB
- 2016Digital transformation: How information and communication technology is fundamentally changing incumbent industriesAlejandro Arreola González, Klaus Becker, Chih-Hong Cheng, Volkmar Döricht, Markus Duchon, Marcus Fehling, Helmut von Grolman, Sebastian Hallensleben, Sebastian Hopf, Nicolas Ivandic, Cornel Klein, Elena Läßle, Jonas Linder, Rahild Neuburger, Christian Prehofer, Bernhard Schätz, Roman Scholdan, Konstantin Schorp, Joachim Sedlmeir, Iason Vittorias, Sofie Walckhoff, Monika Wenger and Alois ZoitlStudy,
DetailsURLBIB
- 2015RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle FunctionsKlaus Becker, Jelena Frtunikj, Meik Felser, Ludger Fiege, Christian Buckl, Stefan Rothbauer, Licong Zhang and Cornel Klein
In
3rd Workshop on Critical Automotive applications - Robustness & Safety (CARS),
Paris, France,
DetailsBIB
- 2015A Formal Model and Analysis of Feature Degradation in Fault-Tolerant SystemsKlaus Becker and Sebastian Voss
In
4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS),
Paris, France,
DetailsBIB
- 2015An Automated Electric Vehicle Prototype Showing New Trends in Automotive ArchitecturesMartin Buechel, Jelena Frtunikj, Klaus Becker, Stephan Sommer, Christian Buckl, Michael Armbruster, Cornel Klein, Andre Marek, Andreas Zirkler and Alois Knoll
In
IEEE 18th International Conference on Intelligent Transportation Systems (ITSC),
DetailsBIB
- 2015Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time SystemsKlaus Becker and Sebastian Voss
In
18th IEEE Symposium on Real-Time Distributed Computing (ISORC),
IEEE.
DetailsBIB
- 2015Deployment Calculation and Analysis for a Fault-Tolerant System PlatformKlaus Becker and Bernhard Schätz
In
11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES),
pages 100-109,
DetailsBIB
- 2015Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy SystemsPragya Kirti Gupta, Klaus Becker, Markus Duchon and Bernhard SchätzDagstuhl-Workshop MBEES: Eleventh Workshop on Modellbasierte Entwicklung Eingebetteter Systeme,
DetailsBIB
- May 2014Deployment Calculation and Analysis for a Fail-Operational Automotive PlatformKlaus Becker, Michael Armbruster, Bernhard Schätz and Christian Buckl
In
1st Workshop on Engineering Dependable Systems of Systems (EDSoS),
DetailsBIB
- 2014A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant SystemsKlaus Becker, Bernhard Schätz, Michael Armbruster and Christian Buckl
In
Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM),
DetailsBIB
- October 2013RACE: A Centralized Platform Computer Based Architecture for Automotive ApplicationsStephan Sommer, Alexander Camek, Christian Buckl, Klaus Becker, Andreas Zirkler, Ludger Fiege, Michael Armbruster and Alois Knoll
In
Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013),
IEEE.
DetailsBIB
- 2012SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten ControllernKlaus Becker, Christian Buckl, Alexander Camek, Reiner Falk, Ludger Fiege, Jürgen Gessner and Stephan Sommer
In
Automotive 2012 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik,
DetailsBIB
- 2012Towards Certified Runtime VerificationJan Olaf Blech, Yliès Falcone and Klaus Becker
In
Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012),
Kyoto, Japan,
DetailsBIB
