Eckard Böde

According to our database, Eckard Böde authored at least 16 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

On Quantification for SOTIF Validation of Automated Driving Systems.

Lina Putze, Lukas Westhofen, Tjark Koopmann, Eckard Böde, Christian Neurohr

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

2021

Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art.

Lukas Westhofen, Christian Neurohr, Tjark Koopmann, Martin Butz, Barbara Schütt, Fabian Utesch, Birte Kramer, Christian Gutenkunst, Eckard Böde

CoRR, 2021

2020

Fundamental Considerations around Scenario-Based Testing for Automated Driving.

Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Identification and Quantification of Hazardous Scenarios for Automated Driving.

Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019

An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System.

Sebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Gerwinn, Georg Hake, Axel Hahn

Proceedings of the 4th International Conference on System Reliability and Safety, 2019

2018

Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions.

Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer

Proceedings of the Computer Safety, Reliability, and Security, 2018

2015

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.

Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander

Complex Syst. Informatics Model. Q., 2015

2014

Proving Compliance of Implementation Models to Safety Specifications.

Markus Oertel, Omar Kacimi, Eckard Böde

Proceedings of the Computer Safety, Reliability, and Security, 2014

Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns.

Wolfgang Herzner, Sven Sieverding, Omar Kacimi, Eckard Böde, Thomas Bauer, Brian Nielsen

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2012

A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , .

Christoph Läsche, Eckard Böde, Thomas Peikenkamp

Proceedings of the Computer Safety, Reliability, and Security, 2012

Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations.

Rainer Droste, Christoph Läsche, Cilli Sobiech, Eckard Böde, Axel Hahn

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2009

Compositional Dependability Evaluation for STATEMATE.

Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker

IEEE Trans. Software Eng., 2009

2008

Model Based Importance Analysis for Minimal Cut Sets.

Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer

Proceedings of the Automated Technology for Verification and Analysis, 2008

2006

Towards a Unified Model-Based Safety Assessment.

Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn

Proceedings of the Computer Safety, 2006

Compositional Performability Evaluation for STATEMATE.

Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2004

Adding Value to Automotive Models.

Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken

Proceedings of the Automotive Software, 2004