Klaus Becker

Publications

Export list as BibTeX file

• 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
• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, Details URL BIB
• 2017 Towards an Industry 4.0 Compliant Control Software Architecture Using IEC 61499 & OPC UA Tarik 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), Details DOI BIB
• 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, Details DOI BIB
• September 2015 RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions Klaus 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, Details URL BIB
• April 2015 Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy Systems Pragya Kirti Gupta, Klaus Becker, Markus Duchon and Bernhard Schätz In Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme XI Model-Based Development of Embedded Systems, Dagstuhl-Workshop MBEES: Eleventh Workshop on Modellbasierte Entwicklung Eingebetteter Systeme, Details URL BIB
• 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, Details URL BIB
• 2015 An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures Martin 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), Details DOI BIB
• 2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker and Sebastian Voss In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), IEEE. Details DOI BIB
• May 2014 Deployment Calculation and Analysis for a Fail-Operational Automotive Platform Klaus Becker, Michael Armbruster, Bernhard Schätz and Christian Buckl In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), Details URL BIB
• 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), Details DOI BIB
• October 2013 RACE: A Centralized Platform Computer Based Architecture for Automotive Applications Stephan 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. Details DOI BIB
• November 2012 Towards Certified Runtime Verification Jan Olaf Blech, Yliès Falcone and Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, ACM. Details DOI BIB
• 2012 SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern Klaus Becker, Christian Buckl, Alexander Camek, Reiner Falk, Ludger Fiege, Jürgen Gessner and Stephan Sommer In Automotive - Safety & Security, Details URL BIB