Solving Existentially Quantified Horn Clauses. - Tewodros A. Beyene; Corneliu Popeea; Andrey Rybalchenko (CAV, 2013)

A constraint-based approach to solving games on infinite graphs. - Tewodros A. Beyene; Swarat Chaudhuri; Corneliu Popeea; Andrey Rybalchenko (POPL, 2014)

CTL+FO verification as constraint solving. - Tewodros A. Beyene; Marc Brockschmidt; Andrey Rybalchenko (SPIN, 2014)

Recursive Games for Compositional Program Synthesis. - Tewodros A. Beyene; Swarat Chaudhuri; Corneliu Popeea; Andrey Rybalchenko (VSTTE, 2015)

Temporal Program Verification and Synthesis as Horn Constraints Solving. - Tewodros A. Beyene (2015)

Integrated Formal Methods for Constructing Assurance Cases. - Carmen Cârlan; Tewodros A. Beyene; Harald Ruess (ISSRE Workshops, 2016)

Efficient CTL Verification via Horn Constraints Solving. - Tewodros A. Beyene; Corneliu Popeea; Andrey Rybalchenko (HCVS@ETAPS, 2016)

Evidential and Continuous Integration of Software Verification Tools. - Tewodros A. Beyene; Harald Ruess (FM, 2018)

Rule-Based Safety Evidence for Neural Networks. - Tewodros A. Beyene; Amit Sahu (SAFECOMP Workshops, 2020)

CyberGSN: A Semi-formal Language for Specifying Safety Cases. - Tewodros A. Beyene; Carmen Cârlan (DSN Workshops, 2021)

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. - Saddek Bensalem; Panagiotis Katsaros; Dejan Nickovic; Brian Hsuan-Cheng Liao; Ricardo Ruiz Nolasco; Mohamed Abd El Salam Ahmed; Tewodros A. Beyene; Filip Cano 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus. - Lev Sorokin; Radouane Bouchekir; Tewodros A. Beyene; Brian Hsuan-Cheng Liao; Adam Molin (EDCC Workshops, 2024)

Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis. - Radouane Bouchekir; Fathiyeh Faghih; Tewodros A. Beyene (DSN-W, 2025)