Bernhard Kaiser
Bernhard Kaiser
Verified email at - Homepage
Cited by
Cited by
A new component concept for fault trees
B Kaiser, P Liggesmeyer, O Mäckel
Proceedings of the 8th Australian workshop on Safety critical systems and …, 2003
State/event fault trees—A safety analysis model for software-controlled systems
B Kaiser, C Gramlich, M Förster
Reliability Engineering & System Safety 92 (11), 1521-1537, 2007
Model-driven safety evaluation with state-event-based component failure annotations
L Grunske, B Kaiser, Y Papadopoulos
International Symposium on Component-Based Software Engineering, 33-48, 2005
Automatic generation of analyzable failure propagation models from component-level failure annotations
L Grunske, B Kaiser
Fifth International Conference on Quality Software (QSIC'05), 117-123, 2005
State-event-fault-trees–a safety analysis model for software controlled systems
B Kaiser, C Gramlich
International Conference on Computer Safety, Reliability, and Security, 195-209, 2004
Specification and evaluation of safety properties in a component-based software engineering process
L Grunske, B Kaiser, RH Reussner
Component-based software development for embedded systems, 249-274, 2005
An automated dependability analysis method for COTS-based systems
L Grunske, B Kaiser
International Conference on COTS-Based Software Systems, 178-190, 2005
Contract-based design of embedded systems integrating nominal behavior and safety
B Kaiser, R Weber, M Oertel, E Böde, BM Nejad, J Zander
Complex Systems Informatics and Modeling Quarterly, 66-91, 2015
State event fault trees: a safety and reliability analysis technique for software controlled systems
B Kaiser
Verlag Dr. Hut, 2006
Extending the expressive power of fault trees
B Kaiser
Annual Reliability and Maintainability Symposium, 2005. Proceedings., 468-474, 2005
Annotation of component specifications with modular analysis models for safety properties
L Grunske, B Kaiser, RH Reussner
Proc. of the 1st Int. Workshop on Component Engineering Methodology, Erfurt …, 2003
BDD complexity reduction by component fault trees
B Kaiser, A Zocher
Proceedings of the European Safety and Reliability Conference, 27-30, 2005
Integrating system modelling with safety activities
B Kaiser, V Klaas, S Schulz, C Herbst, P Lascych
International Conference on Computer Safety, Reliability, and Security, 452-465, 2010
A fault-tree semantics to model software-controlled systems
B Kaiser
Softwaretechnik-Trends 23 (3) Gesellschaft fuer Informatik (Hg.), 2003
Advances in component fault trees
B Kaiser, D Schneider, R Adler, D Domis, F Möhrle, A Berres, M Zeller, ...
Proceedings of the 28th European Safety and Reliability Conference (ESREL), 2018
A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design.
P Battram, B Kaiser, R Weber
REFSQ Workshops, 185-197, 2015
Integration von Sicherheits-und Zuverlässigkeitsmodellen in den Entwicklungsprozess eingebetteter Systeme
B Kaiser
Softwaretechnik-Trends 22 (4) Gesellschaft fuer Informatik (Hg.), 2002
Assuring degradation cascades of car platoons via contracts
I Sljivo, B Gallina, B Kaiser
International Conference on Computer Safety, Reliability, and Security, 317-329, 2017
Continuous assessment of designs and re-use in model-based safety analysis
Y Papadopoulos, C Grante, L Grunske, B Kaiser
IFAC Proceedings Volumes 38 (1), 74-79, 2005
Von der Komponenten-zur Funktionsorientierten Entwicklung in der Funktionalen Sicherheit
B Kaiser, B Augustin, C Baumann
VDI-Berichte 2188, 2013
The system can't perform the operation now. Try again later.
Articles 1–20