Bernhard Kaiser

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