Get started
Author

Klaus Becker

Observed name: Becker, Klaus
OpenAlex ID: A5043972137
Communication complexity of group key distribution
1998 · Klaus Becker, Uta Wille · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 278
PDF
RACE: A Centralized Platform Computer Based Architecture for Automotive Applications
2013 · Stephan Sommer, Alexander Camek, et al. · IEEE International Electric Vehicle Conference · 93
An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures
2015 · Martin Buechel, Jelena Frtunikj, et al. · IEEE International Conference on Intelligent Transportation Systems (ITSC) · 47
Towards Certified Runtime Verification
2012 · Jan Olaf Blech, Yliès Falcone, et al. · Lecture notes in computer science · 35
Towards an industry 4.0 compliant control software architecture using IEC 61499 & OPC UA
2017 · Tarik Terzimehic, Monika Wenger, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 31
Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems
2015 · Klaus Becker, Sebastian Voss · IEEE International Symposium on Real-Time Distributed Computing (ISORC) · 18
Proving ground confluence and inductive validity in constructor based equational specifications
1993 · Klaus Becker · Lecture notes in computer science · 14
PDF
Model-Driven Development of Self-Describing Components for Self-Adaptive Distributed Embedded Systems
2011 · Gereon Weiss, Klaus Becker, et al. · Euromicro Conference on Software Engineering and Advanced Applications (SEAA) · 12
PDF
RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions
2015 · Klaus Becker, Jelena Frtunikj, et al. · HAL · 9
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems
2014 · Klaus Becker, Bernhard Schätz, et al. · Lecture notes in computer science · 9
Formal analysis of feature degradation in fault-tolerant automotive systems
2017 · Klaus Becker, Sebastian Voss, et al. · Science of Computer Programming · 8
PDF
Operational specifications with built-ins
1994 · Jürgen Avenhaus, Klaus Becker · Lecture notes in computer science · 8
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems
2016 · Klaus Becker, Sebastian Voss · Communications in computer and information science · 4
A Domain-Specific Language Based Architecture Modeling Approach for Safety Critical Automotive Software Systems.
2020 · Stefan Schlichthärle, Klaus Becker, et al. · Software Engineering (Workshops) · 3
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform
2014 · Becker, Klaus, Schatz, Bernhard, et al. · arXiv (Cornell University) · 3
PDF
Semantics for positive/negative conditional rewrite systems
1993 · Klaus Becker · Lecture notes in computer science · 3
Formalizing Performance Degradation Strategies as an Enabler for Self-healing Smart Energy Systems
2015 · Pragya Gupta, Klaus Becker, et al. · 2
Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems
2011 · Klaus Becker, Marc Zeller, et al. · International Conference on Pervasive and Embedded Computing and Communication Systems · 2
Software Deployment Analysis for Mixed Reliability Automotive Systems
2017 · Klaus Becker · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 1
PDF
Works count: 23
Citation count: 580
H-index: 9
I10-index: 8
Year
Topic
Type