Folgen
Klaus Becker
Titel
Zitiert von
Zitiert von
Jahr
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
1222013
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
612015
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
422017
Towards certified runtime verification
JO Blech, Y Falcone, K Becker
International Conference on Formal Engineering Methods, 494-509, 2012
392012
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
252015
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
202015
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
142014
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
132011
Digitale Transformation-Wie Informations-und Kommunikationstechnologie etablierte Branchen grundlegend verändern
AA Gonzalez, K Becker, CH Cheng, V Döricht, M Duchon, M Fehling, ...
Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie …, 2016
92016
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
82018
A Domain-Specific Language Based Architecture Modeling Approach for Safety Critical Automotive Software Systems.
S Schlichthaerle, K Becker, S Sperber
Software Engineering (Workshops), 2020
62020
Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems.
K Becker, M Zeller, G Weiss
PECCS, 440-449, 2012
62012
Software Deployment Analysis for Mixed Reliability Automotive Systems
K Becker
Technische Universität München, 2017
52017
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
52015
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
42015
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform
K Becker, B Schatz, C Buckl, M Armbruster
arXiv preprint arXiv:1404.7763, 2014
42014
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
42013
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
32011
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
22015
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
22012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20