Eckard Böde
Eckard Böde
OFFIS - Institute for Information Technology
Bestätigte E-Mail-Adresse bei offis.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
140*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, ...
1142006
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
862005
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
552008
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
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
41*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
332006
Architecture modeling
A Baumgart, E Böde, M Büker, W Damm, G Ehmen, T Gezgin, S Henkler, ...
Technical report, OFFIS, 2011
28*2011
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
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
202008
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
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
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
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
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
62018
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
62017
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
A method for guided hazard identification and risk mitigation for offshore operations
C Läsche, E Böde, T Peikenkamp
International Conference on Computer Safety, Reliability, and Security, 37-48, 2012
62012
Project SOOP: safe offshore operations
C Sobeich, E Boede, A Luedtke, A Hahn, D Nicklas, H Korte
ISIS–9th International Symposium „information on ships “by DGON (Deutsche …, 2012
62012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20