Eckard Böde
Eckard Böde
OFFIS - Institute for Information Technology
Bestätigte E-Mail-Adresse bei offis.de - Startseite
TitelZitiert vonJahr
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
134*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, ...
1072006
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
832005
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
512008
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
402006
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
35*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
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
192008
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
142015
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
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
122012
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
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
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
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
62004
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
52012
Contract based assesment of safety critical systems
E Böde, S Gebhardt, T Peikenkamp
Proceeding of the 7th european systems engineering conference (eusec 2010), 2010
52010
Model Based Importance Analysis for Minimal Cut Sets. Reports of SFB
E Böde, T Peikenkamp, J Rakow, S Wischmeyer
TR 14 AVACS 29, SFB/TR 14 AVACS, 2008
52008
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
42017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20