Tewodros Beyene

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
• 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 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene and Carmen Cârlan In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2021. IEEE. Details DOI BIB
• 2019 Verification of Ada Programs with AdaHorn Tewodros Beyene , Christian Herrera and Vivek Nigam Ada User Journal, 40(2):103-108, 2019. Details BIB
• 2018 Evidential and Continuous Integration of Software Verification Tools Tewodros Beyene and Harald Rueß In Formal Methods, pages 679-685, Cham, 2018. Springer International Publishing. Details BIB
• 2016 Efficient CTL Verification via Horn Constraints Solving Tewodros Beyene , Corneliu Popeea and Andrey Rybalchenko In HCVS@ETAPS, 2016. Details BIB
• 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan , Tewodros Beyene and Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, 2016. IEEE. Details DOI BIB