Publications
- A Systematic Approach to Fault Injection Test Case Generation in Practice In Software Engineering and Advanced Applications. SEAA 2025., volume 16081 of LNCS, pages 201–218, September 2025. Springer. Details DOI BIB
- An ISO 26262-Derived Evaluation Methodology for Automated Fault Injection Test Case Generators In 2025 IEEE Intelligent Vehicles Symposium (IV), pages 767-772, June 2025. IEEE. Details DOI BIB
- A Case Study on the Application of Digital Twins for Enhancing CPS Operations In Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP 2025), volume 418 of Electronic Proceedings in Theoretical Computer Science, pages 24–31, May 2025. Open Publishing Association. Details DOI BIB
- Komplexitätsbeherrschung und Aufwandsreduktion in der Avioniksystementwicklung Informatik Spektrum, 48(5):128-147, April 2025. Details DOI BIB
- A Failure Model Library for Simulation-based Validation of Functional Safety In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of Lecture Notes in Computer Science, September 2024. Springer, Cham. Details DOI BIB
- OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, pages 94–98, April 2024. ACM. Details URL DOI BIB
- A Toolchain for Synthesizing and Validating Safety Architectures SN Computer Science, 4(4):335, April 2023. Details DOI BIB
- Early Assessment of System-Level Safety Mechanisms through Co-Simulation-based Fault Injection In 2022 IEEE Intelligent Vehicles Symposium (IV), pages 1703-1708, June 2022. IEEE. Details DOI BIB
- A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 36–47, February 2022. SCITEPRESS. Details DOI BIB