Publikationen
Liste als BibTeX-Datei exportieren
- A Systematic Approach to Fault Injection Test Case Generation in Practice In Software Engineering and Advanced Applications. SEAA 2025., Band 16081 von LNCS, Seiten 201–218, September 2025. Springer. Details DOI BIB
- Komplexitätsbeherrschung und Aufwandsreduktion in der Avioniksystementwicklung Informatik Spektrum, ():, Juli 2025. Details BIB
- An ISO 26262-Derived Evaluation Methodology for Automated Fault Injection Test Case Generators In 2025 IEEE Intelligent Vehicles Symposium (IV), Juni 2025. 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), Band 418 von Electronic Proceedings in Theoretical Computer Science, Seiten 24–31, Mai 2025. Open Publishing Association. 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), Band 14988 von Lecture Notes in Computer Science, September 2024. Springer, Cham. Details DOI BIB
- OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems , April 2024. 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), Seiten 1703-1708, Juni 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), Seiten 36–47, Februar 2022. SCITEPRESS. Details DOI BIB