Klaus Becker

According to our database, Klaus Becker authored at least 12 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formal analysis of feature degradation in fault-tolerant automotive systems.

Klaus Becker, Sebastian Voss, Bernhard Schätz

Sci. Comput. Program., 2018

2017

Software Deployment Analysis for Mixed Reliability Automotive Systems (Analyse von Software Verteilungen für gemischt zuverlässige Automobilsysteme)

Klaus Becker

PhD thesis, 2017

Towards an industry 4.0 compliant control software architecture using IEC 61499 & OPC UA.

Tarik Terzimehic, Monika Wenger, Alois Zoitl, Andreas Bayha, Klaus Becker, Thorsten Müller, Hubertus Schauerte

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2015

An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures.

Martin Buechel, Jelena Frtunikj, Klaus Becker, Stephan Sommer, Christian Buckl, Michael Armbruster, Andre Marek, Andreas Zirkler, Cornel Klein, Alois C. Knoll

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems.

Klaus Becker, Sebastian Voss

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems.

Klaus Becker, Sebastian Voss

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

Deployment Calculation and Analysis for a Fail-Operational Automotive Platform.

Klaus Becker, Bernhard Schätz, Christian Buckl, Michael Armbruster

CoRR, 2014

A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems.

Klaus Becker, Bernhard Schätz, Michael Armbruster, Christian Buckl

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2012

Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems.

Klaus Becker, Marc Zeller, Gereon Weiss

Proceedings of the PECCS 2012, 2012

Towards Certified Runtime Verification.

Jan Olaf Blech, Yliès Falcone, Klaus Becker

Proceedings of the Formal Methods and Software Engineering, 2012

SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern.

Klaus Becker, Christian Buckl, Alexander Camek, Rainer Falk, Ludger Fiege, Jürgen Geßner, Stephan Sommer

Proceedings of the Automotive, 2012

2011

Model-Driven Development of Self-Describing Components for Self-Adaptive Distributed Embedded Systems.

Gereon Weiss, Klaus Becker, Benjamin Kamphausen, Ansgar Radermacher, Sebastien Gerard

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011