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 | 124 | 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 | 63 | 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 | 42 | 2017 |
Towards certified runtime verification JO Blech, Y Falcone, K Becker International Conference on Formal Engineering Methods, 494-509, 2012 | 39 | 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 | 25 | 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 | 20 | 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 | 14 | 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 | 13 | 2011 |
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 | 9 | 2016 |
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 | 8 | 2018 |
A Domain-Specific Language Based Architecture Modeling Approach for Safety Critical Automotive Software Systems. S Schlichthaerle, K Becker, S Sperber Software Engineering (Workshops), 2020 | 6 | 2020 |
Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems. K Becker, M Zeller, G Weiss PECCS, 440-449, 2012 | 6 | 2012 |
Software Deployment Analysis for Mixed Reliability Automotive Systems K Becker Technische Universität München, 2017 | 5 | 2017 |
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 | 5 | 2015 |
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 | 4 | 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 | 4 | 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 | 4 | 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 | 3 | 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 | 2 | 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 | 2 | 2012 |