Eckard Böde
Eckard Böde
OFFIS - Institute for Information Technology
Verified email at offis.de - Homepage
Title
Cited by
Cited by
Year
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
141*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
1162006
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
912005
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
592008
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
462006
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
352006
Architecture modeling
A Baumgart, E Böde, M Büker, W Damm, G Ehmen, T Gezgin, S Henkler, ...
Technical report, OFFIS, 2011
29*2011
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
232008
Model-based safety analysis of a flap control system
T Peikenkamp, E Böde, I Brückner, H Spenke, M Bretschneider, ...
Proceedings of the INCOSE, 2004
222004
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
212015
2.2. 1 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
212004
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
142012
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
13*2006
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
102018
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
102017
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
92014
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
7*2020
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
72017
Adding value to automotive models
E Böde, W Damm, J Høyem, B Josko, J Niehaus, M Segelken
Automotive Software Workshop, 86-102, 2004
72004
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
62014
The system can't perform the operation now. Try again later.
Articles 1–20