Login / Signup
Klaus Becker
Publication Activity (10 Years)
Years Active: 2011-2018
Publications (10 Years): 2
Top Topics
Software Architecture
Fault Tolerant
Distributed Systems
Change Impact Analysis
Top Venues
CoRR
ITSC
FTSCS
Sci. Comput. Program.
</>
Publications
</>
Klaus Becker
,
Sebastian Voss
,
Bernhard Schätz
Formal analysis of feature degradation in fault-tolerant automotive systems.
Sci. Comput. Program.
154 (2018)
Tarik Terzimehic
,
Monika Wenger
,
Alois Zoitl
,
Andreas Bayha
,
Klaus Becker
,
Thorsten Müller
,
Hubertus Schauerte
Towards an industry 4.0 compliant control software architecture using IEC 61499 & OPC UA.
ETFA
(2017)
Klaus Becker
,
Sebastian Voss
Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems.
ISORC
(2015)
Klaus Becker
,
Sebastian Voss
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems.
FTSCS
(2015)
Martin Buechel
,
Jelena Frtunikj
,
Klaus Becker
,
Stephan Sommer
,
Christian Buckl
,
Michael Armbruster
,
Andre Marek
,
Andreas Zirkler
,
Cornel Klein
,
Alois C. Knoll
An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures.
ITSC
(2015)
Klaus Becker
,
Bernhard Schätz
,
Christian Buckl
,
Michael Armbruster
Deployment Calculation and Analysis for a Fail-Operational Automotive Platform.
CoRR
(2014)
Klaus Becker
,
Bernhard Schätz
,
Michael Armbruster
,
Christian Buckl
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems.
SEFM
(2014)
Klaus Becker
,
Christian Buckl
,
Alexander Camek
,
Rainer Falk
,
Ludger Fiege
,
Jürgen Geßner
,
Stephan Sommer
SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern.
Automotive - Safety & Security
(2012)
Klaus Becker
,
Marc Zeller
,
Gereon Weiss
Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems.
PECCS
(2012)
Jan Olaf Blech
,
Yliès Falcone
,
Klaus Becker
Towards Certified Runtime Verification.
ICFEM
(2012)
Gereon Weiss
,
Klaus Becker
,
Benjamin Kamphausen
,
Ansgar Radermacher
,
Sebastien Gerard
Model-Driven Development of Self-Describing Components for Self-Adaptive Distributed Embedded Systems.
EUROMICRO-SEAA
(2011)