Seguir
Bernhard Kaiser
Bernhard Kaiser
Dirección de correo verificada de ansys.com - Página principal
Título
Citado por
Citado por
Año
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
3982003
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
1622007
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
962005
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
652005
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
412004
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
362015
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
362005
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
322018
State event fault trees: a safety and reliability analysis technique for software controlled systems
B Kaiser
Verlag Dr. Hut, 2006
242006
An automated dependability analysis method for COTS-based systems
L Grunske, B Kaiser
International Conference on COTS-Based Software Systems, 178-190, 2005
232005
Extending the expressive power of fault trees
B Kaiser
Annual Reliability and Maintainability Symposium, 2005. Proceedings., 468-474, 2005
222005
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
222003
BDD complexity reduction by component fault trees
B Kaiser, A Zocher
Proceedings of the European Safety and Reliability Conference, 27-30, 2005
172005
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
152010
A fault-tree semantics to model software-controlled systems
B Kaiser
Softwaretechnik-Trends 23 (3) Gesellschaft fuer Informatik (Hg.), 2003
152003
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
132015
Assuring degradation cascades of car platoons via contracts
I Sljivo, B Gallina, B Kaiser
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017
122017
Integration von Sicherheits-und Zuverlässigkeitsmodellen in den Entwicklungsprozess eingebetteter Systeme
B Kaiser
Softwaretechnik-Trends 22 (4) Gesellschaft fuer Informatik (Hg.), 2002
92002
Von der komponenten-zur funktionsorientierten Entwicklung in der funktionalen Sicherheit
B Kaiser, B Augustin, C Baumann
Elektronik im Fahrzeug 16, 2013, 2013
82013
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
72017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20