Bernhard Kaiser

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 3

Top Venues

Complex Syst. Informatics Model. Q.

SAFECOMP Workshops

REFSQ Workshops

IMBSA

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Bernhard Kaiser, Bernard Dion, Ilya Tolchinsky, Thierry Le Sergent, Max Najork
An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and Simulation. IMBSA (2022)
Markus Grabowski, Bernhard Kaiser, Yu Bai
Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts. Modellierung (2018)
Irfan Sljivo, Barbara Gallina, Bernhard Kaiser
Assuring Degradation Cascades of Car Platoons via Contracts. SAFECOMP Workshops (2017)
Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander
Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety. Complex Syst. Informatics Model. Q. 4 (2015)
Peter Battram, Bernhard Kaiser, Raphael Weber
A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design. REFSQ Workshops (2015)
Bernhard Kaiser, Stefan Sonski, Suryo Buono, Hauke Petersen, Justyna Zander
Lightweight Contracts for Safety-Critical Automotive Systems. GI-Jahrestagung (2015)
Suryo Buono, Viktor Ramich, Bernhard Kaiser, Justyna Zander
An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models. Software Engineering (Workshops) (2015)
Bernhard Kaiser, Vanessa C. Klaas, Stefan Schulz, Christian Herbst, Peter Lascych
Integrating System Modelling with Safety Activities. SAFECOMP (2010)
Bernhard Kaiser, Catharina Gramlich, Marc Förster
State/event fault trees - A safety analysis model for software-controlled systems. Reliab. Eng. Syst. Saf. 92 (11) (2007)
Lars Grunske, Bernhard Kaiser
Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. QSIC (2005)
Lars Grunske, Bernhard Kaiser
An Automated Dependability Analysis Method for COTS-Based Systems. ICCBSS (2005)
Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. CBSE (2005)
Bernhard Kaiser, Catharina Gramlich
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. SAFECOMP (2004)
Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel
A New Component Concept for Fault Trees. SCS (2003)
Bernhard Kaiser
A Fault-Tree Semantics to model Software-Controlled Systems. Softwaretechnik-Trends 23 (3) (2003)
Bernhard Kaiser
Integration von Sicherheits- und Zuverlässigkeitsmodellen in den Entwicklungsprozess Eingebetteter Systeme. Softwaretechnik-Trends 22 (4) (2002)

Bernhard Kaiser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Kaiser