Publications
- CyberDS: Auditable Monitoring in the Cloud In Proceedings of the 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 14988 of LNCS, pages 15, September 2024. Springer, Cham. Details URL BIB
- OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems , April 2024. Details URL DOI BIB
- Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines , Companion Conference Proceedings ICSE 2024 edition, April 2024. Details URL BIB
- Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus In European Dependable Computing Conference, March 2024. Details URL BIB