![search dblp](https://rt.http3.lol/img/search.dark.16x16.png)
default search action
Bernhard Kaiser
2020 – today
- 2022
- [c12]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: 3-20
2010 – 2019
- 2018
- [c11]Markus Grabowski, Bernhard Kaiser, Yu Bai:
Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts. Modellierung 2018: 245-260 - 2017
- [c10]Irfan Sljivo
, Barbara Gallina, Bernhard Kaiser:
Assuring Degradation Cascades of Car Platoons via Contracts. SAFECOMP Workshops 2017: 317-329 - 2016
- [p2]Arnaud Boyer, Bastian Tenbergen
, Santiago Velasco, Pablo Oliveira Antonino, Peter Battram, Suryo Buono, Bernhard Kaiser, Justyna Zander, Kai Bizik, Alexander Prohaska, Michael Käßmeyer:
Modular Safety Assurance. Advanced Model-Based Engineering of Embedded Systems 2016: 169-196 - 2015
- [j4]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: 66-91 (2015) - [c9]Bernhard Kaiser, Stefan Sonski, Suryo Buono, Hauke Petersen, Justyna Zander:
Lightweight Contracts for Safety-Critical Automotive Systems. GI-Jahrestagung 2015: 1595-1607 - [c8]Peter Battram, Bernhard Kaiser, Raphael Weber:
A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design. REFSQ Workshops 2015: 185-197 - [c7]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: 41-50 - 2010
- [c6]Bernhard Kaiser, Vanessa C. Klaas, Stefan Schulz, Christian Herbst, Peter Lascych:
Integrating System Modelling with Safety Activities. SAFECOMP 2010: 452-465
2000 – 2009
- 2007
- [j3]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): 1521-1537 (2007) - 2006
- [b1]Bernhard Kaiser:
State event fault trees: a safety and reliability analysis technique for software controlled systems. University of Kaiserslautern, 2006, ISBN 978-3-89963-436-5, pp. 1-264 - 2005
- [c5]Lars Grunske
, Bernhard Kaiser, Yiannis Papadopoulos:
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. CBSE 2005: 33-48 - [c4]Lars Grunske
, Bernhard Kaiser:
An Automated Dependability Analysis Method for COTS-Based Systems. ICCBSS 2005: 178-190 - [c3]Lars Grunske
, Bernhard Kaiser:
Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. QSIC 2005: 117-123 - [p1]Lars Grunske
, Bernhard Kaiser, Ralf H. Reussner
:
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process. Component-Based Software Development for Embedded Systems 2005: 249-274 - 2004
- [c2]Bernhard Kaiser, Catharina Gramlich:
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. SAFECOMP 2004: 195-209 - 2003
- [j2]Bernhard Kaiser:
A Fault-Tree Semantics to model Software-Controlled Systems. Softwaretechnik-Trends 23(3) (2003) - [c1]Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel:
A New Component Concept for Fault Trees. SCS 2003: 37-46 - 2002
- [j1]Bernhard Kaiser:
Integration von Sicherheits- und Zuverlässigkeitsmodellen in den Entwicklungsprozess Eingebetteter Systeme. Softwaretechnik-Trends 22(4) (2002)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
![](https://rt.http3.lol/img/new-feature-top-right.156x64.png)