M.Sc.
Klaus Becker

Analysis and Design of Dependable Systems · Staff Researcher
Telefon
+49 89 3603522 37

Klaus Becker studierte Informatik (M.Sc.) an der Universität Paderborn mit Schwerpunkt auf dynamischen eingebetteten Realzeitsystemen. Seit 2011 ist er wissenschaftlicher Mitarbeiter und Doktorand am fortiss im Fachbereich "Software- & Systems Engineering". Seine Forschungsinteressen liegen im Bereich modellbasierter Entwicklung und Analyse adaptiver und erweiterbarer Software-Architekturen für eingebettete Systeme, primär im Automobilbereich. Ebenfalls gehört die Laufzeit-Verifikation für solche Systeme zu seinen Interessen.

Projekte

Veröffentlichungen

Liste als BibTeX-Datei exportieren

2015

  • Klaus Becker und Sebastian Voss. A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems. In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, 2015. Details BibTeX
  • Martin Buechel, Jelena Frtunikj, Klaus Becker, Stephan Sommer, Christian Buckl, Michael Armbruster, Cornel Klein, Andre Marek, Andreas Zirkler und Alois Knoll. An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures. In IEEE 18th International Conference on Intelligent Transportation Systems (ITSC), 2015. Details BibTeX
  • Klaus Becker und Sebastian Voss. Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems. In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), 2015. IEEE. Details BibTeX
  • Klaus Becker und Bernhard Schätz. Deployment Calculation and Analysis for a Fault-Tolerant System Platform. In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, 2015. Details BibTeX
  • Formalizing Performance Degradation Strategies as an Enabler for Selfhealing Smart Energy Systems, Dagstuhl-Workshop MBEES: Eleventh Workshop on Modellbasierte Entwicklung Eingebetteter Systeme, Details BibTeX
  • Klaus Becker, Jelena Frtunikj, Meik Felser, Ludger Fiege, Christian Buckl, Stefan Rothbauer, Licong Zhang und Cornel Klein. RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions. In 3rd Workshop on Critical Automotive applications - Robustness & Safety (CARS), Paris, France, 2015. Details BibTeX

2014

  • Klaus Becker, Michael Armbruster, Bernhard Schätz und Christian Buckl. Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. In 1st Workshop on Engineering Dependable Systems of Systems (EDSoS), 2014. Details BibTeX
  • Klaus Becker, Bernhard Schätz, Michael Armbruster und Christian Buckl. A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details BibTeX

2013

  • Stephan Sommer, Alexander Camek, Christian Buckl, Klaus Becker, Andreas Zirkler, Ludger Fiege, Michael Armbruster und Alois Knoll. RACE: A Centralized Platform Computer Based Architecture for Automotive Applications. In Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013), 2013. IEEE. Details BibTeX

2012

  • Jan Olaf Blech, Yliès Falcone und Klaus Becker. Towards Certified Runtime Verification. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, 2012. Details BibTeX
  • Klaus Becker, Christian Buckl, Alexander Camek, Reiner Falk, Ludger Fiege, Jürgen Gessner und Stephan Sommer. SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern. In Automotive 2012 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2012. Details BibTeX