Bernhard Kaiser

According to our database, Bernhard Kaiser authored at least 19 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and Simulation.

Bernhard Kaiser, Bernard Dion, Ilya Tolchinsky, Thierry Le Sergent, Max Najork

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2018

Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts.

Markus Grabowski, Bernhard Kaiser, Yu Bai

Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

2017

Assuring Degradation Cascades of Car Platoons via Contracts.

Irfan Sljivo, Barbara Gallina, Bernhard Kaiser

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

Modular Safety Assurance.

Arnaud Boyer, Bastian Tenbergen, Santiago Velasco, Pablo Oliveira Antonino, Peter Battram, Suryo Buono, Bernhard Kaiser, Justyna Zander, Kai Bizik, Alexander Prohaska, Michael Käßmeyer

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.

Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander

Complex Syst. Informatics Model. Q., 2015

An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models.

Suryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design.

Peter Battram, Bernhard Kaiser, Raphael Weber

Proceedings of the Joint Proceedings of REFSQ-2015 Workshops, 2015

Lightweight Contracts for Safety-Critical Automotive Systems.

Bernhard Kaiser, Stefan Sonski, Suryo Buono, Hauke Petersen, Justyna Zander

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2010

Integrating System Modelling with Safety Activities.

Bernhard Kaiser, Vanessa C. Klaas, Stefan Schulz, Christian Herbst, Peter Lascych

Proceedings of the Computer Safety, 2010

2007

State/event fault trees - A safety analysis model for software-controlled systems.

Bernhard Kaiser, Catharina Gramlich, Marc Förster

Reliab. Eng. Syst. Saf., 2007

2006

State event fault trees: a safety and reliability analysis technique for software controlled systems.

Bernhard Kaiser

PhD thesis, 2006

2005

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process.

Lars Grunske, Bernhard Kaiser, Ralf H. Reussner

Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.

Lars Grunske, Bernhard Kaiser

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

An Automated Dependability Analysis Method for COTS-Based Systems.

Lars Grunske, Bernhard Kaiser

Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.

Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004

State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems.

Bernhard Kaiser, Catharina Gramlich

Proceedings of the Computer Safety, 2004

2003

A Fault-Tree Semantics to model Software-Controlled Systems.

Bernhard Kaiser

Softwaretechnik-Trends, 2003

A New Component Concept for Fault Trees.

Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel

Proceedings of the Safety Critical Systems and Software 2003, 2003

2002

Integration von Sicherheits- und Zuverlässigkeitsmodellen in den Entwicklungsprozess Eingebetteter Systeme.

Bernhard Kaiser

Softwaretechnik-Trends, 2002