Dr Radouane Bouchekir

Publications

Export list as BibTeX file

• June 2025 Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis Radouane Bouchekir , Fathiyeh Faghih and Tewodros Beyene In 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2025. IEEE. Details URL DOI BIB
• November 2024 Continuous safety & security evidence generation, curation and assurance case construction using the Evidential Tool Bus Natarajan Shankar , Minyoung Kim , Huascar Sanchez , Harald Rueß , Tewodros Beyene , Radouane Bouchekir and et al. In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), November 2024. IEEE. Details URL DOI BIB
• July 2024 On Safety Assurance of Symbolic Artificial Intelligence Michell Guzman Cancimance , Radouane Bouchekir , Cook Alasdair and Johannes Haindl In International Conference on Software Quality, Reliability, and Security Companion, July 2024. Details BIB
• March 2024 Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus Lev Sorokin , Radouane Bouchekir , Tewodros Beyene , Brian Hsuan-Cheng Liao and Adam Molin In European Dependable Computing Conference, March 2024. Details URL BIB
• June 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir , Michell Guzman Cancimance , Cook Alasdair , Johannes Haindl and Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2023. IEEE. Details URL DOI BIB