Publications
- 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), June 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
- On Safety Assurance of Symbolic Artificial Intelligence In International Conference on Software Quality, Reliability, and Security Companion, July 2024. Details BIB
- Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus In European Dependable Computing Conference, March 2024. Details URL BIB
- Formal Verification for Safe AI-based Flight Planning for UAVs In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2023. IEEE. Details URL DOI BIB