Tewodros A. Beyene
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSN | Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis. | Radouane Bouchekir, Fathiyeh Faghih, Tewodros A. Beyene |
| 2024 | EDCC | 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 |
| 2023 | VECoS | 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, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
| 2021 | DSN | CyberGSN: A Semi-formal Language for Specifying Safety Cases. | Tewodros A. Beyene, Carmen Crlan |
| 2020 | SAFECOMP | Rule-Based Safety Evidence for Neural Networks. | Tewodros A. Beyene, Amit Sahu |
| 2018 | FM | Evidential and Continuous Integration of Software Verification Tools. | Tewodros A. Beyene, Harald Ruess |
| 2016 | ISSRE | Integrated Formal Methods for Constructing Assurance Cases. | Carmen Crlan, Tewodros A. Beyene, Harald Ruess |
| 2014 | POPL | A constraint-based approach to solving games on infinite graphs. | Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko |
| 2013 | CAV | Solving Existentially Quantified Horn Clauses. | Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko |