Publikationen
Liste als BibTeX-Datei exportieren
- Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis In 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 2025. IEEE. Details URL DOI BIB
- Continuous safety & security evidence generation, curation and assurance case construction using the Evidential Tool Bus In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), November 2024. IEEE. Details URL DOI BIB
- Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus In European Dependable Computing Conference, März 2024. Details URL BIB
- CyberGSN: A Semi-formal Language for Specifying Safety Cases In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 2021. IEEE. Details DOI BIB
- Verification of Ada Programs with AdaHorn Ada User Journal, 40(2):103-108, 2019. Details BIB
- Evidential and Continuous Integration of Software Verification Tools In Formal Methods, Seiten 679-685, Cham, 2018. Springer International Publishing. Details BIB
- Efficient CTL Verification via Horn Constraints Solving In HCVS@ETAPS, 2016. Details BIB
- Integrated Formal Methods for Constructing Assurance Cases In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Seiten 221–228, 2016. IEEE. Details DOI BIB