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 | 404 | 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 | 164 | 2007 |
Model-driven safety evaluation with state-event-based component failure annotations L Grunske, B Kaiser, Y Papadopoulos Component-Based Software Engineering: 8th International Symposium, CBSE 2005 …, 2005 | 97 | 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 | 71 | 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 | 42 | 2004 |
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 | 38 | 2015 |
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: An Overview of …, 2005 | 36 | 2005 |
Advances in component fault trees B Kaiser, D Schneider, R Adler, D Domis, F Möhrle, A Berres, M Zeller, ... Safety and Reliability–Safe Societies in a Changing World, 815-823, 2018 | 34 | 2018 |
State event fault trees: a safety and reliability analysis technique for software controlled systems B Kaiser Verlag Dr. Hut, 2006 | 26 | 2006 |
An automated dependability analysis method for COTS-based systems L Grunske, B Kaiser International Conference on COTS-Based Software Systems, 178-190, 2005 | 23 | 2005 |
Extending the expressive power of fault trees B Kaiser Annual Reliability and Maintainability Symposium, 2005. Proceedings., 468-474, 2005 | 21 | 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 | 21 | 2003 |
BDD complexity reduction by component fault trees B Kaiser, A Zocher Proceedings of the European Safety and Reliability Conference, 27-30, 2005 | 16 | 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 | 15 | 2010 |
A fault-tree semantics to model software-controlled systems B Kaiser Softwaretechnik-Trends 23 (3) Gesellschaft fuer Informatik (Hg.), 2003 | 15 | 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 | 13 | 2015 |
Assuring degradation cascades of car platoons via contracts I Sljivo, B Gallina, B Kaiser Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017 | 12 | 2017 |
Integration von Sicherheits-und Zuverlässigkeitsmodellen in den Entwicklungsprozess eingebetteter Systeme B Kaiser Softwaretechnik-Trends 22 (4) Gesellschaft fuer Informatik (Hg.), 2002 | 9 | 2002 |
Von der komponenten-zur funktionsorientierten Entwicklung in der funktionalen Sicherheit B Kaiser, B Augustin, C Baumann Elektronik im Fahrzeug 16, 2013, 2013 | 8 | 2013 |
Systematic design and validation of degradation cascades for safety-relevant systems B Kaiser, BM Nejad, D Kusche, H Schulte Annual European Safety and Reliability Conference ESREL, 2017 | 7 | 2017 |