Dr Radouane Bouchekir

Publikationen

Liste als BibTeX-Datei exportieren

• Juni 2025 Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis Radouane Bouchekir , Fathiyeh Faghih und Tewodros Beyene In 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 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 und et al. In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), November 2024. IEEE. Details URL DOI BIB
• Juli 2024 On Safety Assurance of Symbolic Artificial Intelligence Michell Guzman Cancimance , Radouane Bouchekir , Cook Alasdair und Johannes Haindl In International Conference on Software Quality, Reliability, and Security Companion, Juli 2024. Details BIB
• März 2024 Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus Lev Sorokin , Radouane Bouchekir , Tewodros Beyene , Brian Hsuan-Cheng Liao und Adam Molin In European Dependable Computing Conference, März 2024. Details URL BIB
• Juni 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir , Michell Guzman Cancimance , Cook Alasdair , Johannes Haindl und Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 2023. IEEE. Details URL DOI BIB