Klaus Becker
Cited by
Cited by
Race: A centralized platform computer based architecture for automotive applications
S Sommer, A Camek, K Becker, C Buckl, A Zirkler, L Fiege, M Armbruster, ...
2013 IEEE International Electric Vehicle Conference (IEVC), 1-6, 2013
An automated electric vehicle prototype showing new trends in automotive architectures
M Buechel, J Frtunikj, K Becker, S Sommer, C Buckl, M Armbruster, ...
2015 IEEE 18th International Conference on Intelligent Transportation …, 2015
Towards an industry 4.0 compliant control software architecture using IEC 61499 & OPC UA
T Terzimehic, M Wenger, A Zoitl, A Bayha, K Becker, T Müller, ...
2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017
Towards certified runtime verification
JO Blech, Y Falcone, K Becker
Formal Methods and Software Engineering: 14th International Conference on …, 2012
Analyzing graceful degradation for mixed critical fault-tolerant real-time systems
K Becker, S Voss
2015 IEEE 18th International Symposium on Real-Time Distributed Computing …, 2015
RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions
K Becker, J Frtunikj, M Felser, L Fiege, C Buckl, S Rothbauer, L Zhang, ...
CARS 2015-Critical Automotive applications: Robustness & Safety, 2015
A formal model for constraint-based deployment calculation and analysis for fault-tolerant systems
K Becker, B Schätz, M Armbruster, C Buckl
Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014
Model-driven development of self-describing components for self-adaptive distributed embedded systems
G Weiss, K Becker, B Kamphausen, A Radermacher, S Gerard
2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011
Formal analysis of feature degradation in fault-tolerant automotive systems
K Becker, S Voss, B Schätz
Science of Computer Programming 154, 89-133, 2018
Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems.
K Becker, M Zeller, G Weiss
PECCS, 440-449, 2012
A Domain-Specific Language Based Architecture Modeling Approach for Safety Critical Automotive Software Systems.
S Schlichthaerle, K Becker, S Sperber
Software Engineering (Workshops), 2020
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems
K Becker, S Voss
Fourth International Workshop on Formal Techniques for Safety-Critical …, 2015
Software Deployment Analysis for Mixed Reliability Automotive Systems
K Becker
Technische Universität München, 2017
Formalizing Performance Degradation Strategies as an Enabler for Self-healing Smart Energy Systems
PK Gupta, K Becker, M Duchon, B Schätz
11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), 2015
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform
K Becker, B Schatz, C Buckl, M Armbruster
arXiv preprint arXiv:1404.7763, 2014
Towards Dynamic Deployment Calculation for Extensible Systems using SMT-Solvers
K Becker, S Voss
1st Open EIT ICT Labs Workshop on Cyber-Physical Systems Engineering (EIT CPSE), 2013
Rt-describe: Self-describing components for self-adaptive distributed embedded systems
G Weiß, K Becker, A Radermacher, S Gerard, S Fischmeister
Proceedings of 3rd Workshop on Adaptive and Reconfiurable Embedded Systems …, 2011
Deployment Calculation and Analysis for a Fault-Tolerant System Platform
K Becker, B Schätz
11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES …, 2015
SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern.
K Becker, C Buckl, A Camek, R Falk, L Fiege, J Geßner, S Sommer
Automotive-Safety & Security, 115-132, 2012
Modellierung im Software & System-Engineering
M Junker, K Becker, A Campetelli, J Eckhardt, G Hackenberg, M Irlbeck, ...
The system can't perform the operation now. Try again later.
Articles 1–20