Eckard Böde
Citado por
Citado por
ESACS: an integrated methodology for design and safety analysis of complex systems
O Akerlund, P Bieber, E Böde, C Bougnol, M Bozzano, M Bretschneider, ...
Proceedings of ESREL, 2003
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects
O Akerlund, P Bieber, E Boede, M Bozzano, M Bretschneider, C Castel, ...
Conference ERTS'06, 2006
Boosting re-use of embedded automotive applications through rich components
W Damm, A Votintseva, A Metzner, B Josko, T Peikenkamp, E Böde
Proceedings of foundations of interface technologies 2005, 2005
Compositional dependability evaluation for STATEMATE
E Bode, M Herbstritt, H Hermanns, S Johr, T Peikenkamp, R Pulungan, ...
IEEE Transactions on Software Engineering 35 (2), 274-292, 2008
Compositional performability evaluation for statemate
B Becker, R Wimmer, R Pulungan, T Peikenkamp, S Johr, H Hermanns, ...
Third International Conference on the Quantitative Evaluation of Systems …, 2006
Model‐based Safety Analysis of a Flap Control System
M Bretschneider, HJ Holberg, E Böde, I Brückner, T Peikenkamp, ...
INCOSE International Symposium 14 (1), 246-256, 2004
Towards a unified model-based safety assessment
T Peikenkamp, A Cavallo, L Valacca, E Böde, M Pretzer, EM Hahn
International Conference on Computer Safety, Reliability, and Security, 275-288, 2006
Architecture modeling
A Baumgart, E Böde, M Büker, W Damm, G Ehmen, T Gezgin, S Henkler, ...
Technical report, OFFIS, 2011
Identification and quantification of hazardous scenarios for automated driving
B Kramer, C Neurohr, M Büker, E Böde, M Fränzle, W Damm
International Symposium on Model-Based Safety and Assessment, 163-178, 2020
Fundamental considerations around scenario-based testing for automated driving
C Neurohr, L Westhofen, T Henning, T de Graaff, E Möhlmann, E Böde
2020 IEEE Intelligent Vehicles Symposium (IV), 121-127, 2020
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
Model based importance analysis for minimal cut sets
E Böde, T Peikenkamp, J Rakow, S Wischmeyer
International Symposium on Automated Technology for Verification and …, 2008
Efficient splitting of test and simulation cases for the verification of highly automated driving functions
E Böde, M Büker, U Eberle, M Fränzle, S Gerwinn, B Kramer
International Conference on Computer Safety, Reliability, and Security, 139-153, 2018
Model-based risk assessment supporting development of HSE plans for safe offshore operations
R Droste, C Läsche, C Sobiech, E Böde, A Hahn
International Workshop on Formal Methods for Industrial Critical Systems …, 2012
Analysis of large safety-critical systems: a quantitative approach. REPORTS of SFB
M Herbstritt, R Wimmer, T Peikenkamp, E Böde, M Adelaide, S Johr, ...
TR 14 AVACS 8, 2006
Design paradigms for multi-layer time coherency in ADAS and automated driving (MULTIC)
E Böde, M Büker, W Damm, G Ehmen, M Fränzle, S Gerwinn, ...
FAT Series, 2017
Criticality metrics for automated driving: A review and suitability analysis of the state of the art
L Westhofen, C Neurohr, T Koopmann, M Butz, B Schütt, F Utesch, ...
Archives of Computational Methods in Engineering, 1-35, 2022
Learning from automotive: Testing maritime assistance systems up to autonomous vessels
M Brinkmann, E Böde, A Lamm, S Vander Maelen, A Hahn
OCEANS 2017-Aberdeen, 1-8, 2017
Contract-based safety: Specification and application guidelines
M Oertel, A Mahdi, E Böde, A Rettberg
Proceedings of the 1st international workshop on emerging ideas and trends …, 2014
Proving compliance of implementation models to safety specifications
M Oertel, O Kacimi, E Böde
International Conference on Computer Safety, Reliability, and Security, 97-107, 2014
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20