Dominik Hellhake

According to our database, Dominik Hellhake authored at least 6 papers between 2018 and 2023.

Collaborative distances:

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

2023

Verifikation softwareintensiver Fahrwerksysteme.

Dominik Hellhake

PhD thesis, 2023

2022

Towards using coupling measures to guide black-box integration testing in component-based systems.

Dominik Hellhake, Justus Bogner, Tobias Schmid, Stefan Wagner

Softw. Test. Verification Reliab., 2022

2021

Formal Verification of a Fail-Operational Automotive Driving System.

Tobias Schmid, Stefanie Schraufstetter, Jonas Fritzsch, Dominik Hellhake, Greta Koelln, Stefan Wagner

CoRR, 2021

2019

Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems.

Dominik Hellhake, Tobias Schmid, Stefan Wagner

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

A Safety Argumentation for Fail-Operational Automotive Systems in Compliance with ISO 26262.

Tobias Schmid, Stefanie Schraufstetter, Stefan Wagner, Dominik Hellhake

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

2018

Aletheia: a failure diagnosis toolchain.

Mojdeh Golagha, Abu Mohammed Raisuddin, Lennart Mittag, Dominik Hellhake, Alexander Pretschner

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018