Tewodros A. Beyene

15 papers A* 2B 1Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis.
DSN-W
Radouane Bouchekir, Fathiyeh Faghih, Tewodros A. Beyene
2024 — conf
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus.
EDCC Workshops
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin
2024 J jnl
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus.
CoRR
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin
2023 — conf
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.
AISoLA
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 Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
2021 — conf
CyberGSN: A Semi-formal Language for Specifying Safety Cases.
DSN Workshops
Tewodros A. Beyene, Carmen Cârlan
2020 — conf
Rule-Based Safety Evidence for Neural Networks.
SAFECOMP Workshops
Tewodros A. Beyene, Amit Sahu
2018 B conf
Evidential and Continuous Integration of Software Verification Tools.
FM
Tewodros A. Beyene, Harald Ruess
2016 — conf
Efficient CTL Verification via Horn Constraints Solving.
HCVS@ETAPS
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko
2016 — conf
Integrated Formal Methods for Constructing Assurance Cases.
ISSRE Workshops
Carmen Cârlan, Tewodros A. Beyene, Harald Ruess
2015 — conf
Recursive Games for Compositional Program Synthesis.
VSTTE
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
2015 — —
Temporal Program Verification and Synthesis as Horn Constraints Solving.
Tewodros A. Beyene
2014 A* conf
A constraint-based approach to solving games on infinite graphs.
POPL
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
2014 J jnl
CTL+FO Verification as Constraint Solving.
CoRR
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko
2014 — conf
CTL+FO verification as constraint solving.
SPIN
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko
2013 A* conf
Solving Existentially Quantified Horn Clauses.
CAV
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko