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 | 340 | 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 | 138 | 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 | 90 | 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 | 48 | 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 | 38 | 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 | 33 | 2005 |
An automated dependability analysis method for COTS-based systems L Grunske, B Kaiser International Conference on COTS-Based Software Systems, 178-190, 2005 | 24 | 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 | 21 | 2015 |
State event fault trees: a safety and reliability analysis technique for software controlled systems B Kaiser Verlag Dr. Hut, 2006 | 19 | 2006 |
Extending the expressive power of fault trees B Kaiser Annual Reliability and Maintainability Symposium, 2005. Proceedings., 468-474, 2005 | 18 | 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 | 18 | 2003 |
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 | 15 | 2010 |
BDD complexity reduction by component fault trees B Kaiser, A Zocher Proceedings of the European Safety and Reliability Conference, 27-30, 2005 | 14 | 2005 |
A fault-tree semantics to model software-controlled systems B Kaiser Softwaretechnik-Trends 23 (3) Gesellschaft fuer Informatik (Hg.), 2003 | 13 | 2003 |
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 | 10 | 2015 |
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 | 9 | 2018 |
Integration von Sicherheits-und Zuverlässigkeitsmodellen in den Entwicklungsprozess eingebetteter Systeme B Kaiser Softwaretechnik-Trends 22 (4) Gesellschaft fuer Informatik (Hg.), 2002 | 8 | 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 | 7 | 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 | 5 | 2005 |
Von der Komponenten-zur Funktionsorientierten Entwicklung in der Funktionalen Sicherheit B Kaiser, B Augustin, C Baumann VDI-Berichte 2188, 2013 | 4 | 2013 |