Tewodros A. Beyene

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 8

Top Venues

CoRR

VSTTE

SAFECOMP Workshops

DSN Workshops

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus. EDCC Workshops (2024)
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng Liao, Adam Molin
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus. CoRR (2024)
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
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA (2023)
Tewodros A. Beyene, Carmen Cârlan
CyberGSN: A Semi-formal Language for Specifying Safety Cases. DSN Workshops (2021)
Tewodros A. Beyene, Amit Sahu
Rule-Based Safety Evidence for Neural Networks. SAFECOMP Workshops (2020)
Tewodros A. Beyene, Harald Ruess
Evidential and Continuous Integration of Software Verification Tools. FM (2018)
Carmen Cârlan, Tewodros A. Beyene, Harald Ruess
Integrated Formal Methods for Constructing Assurance Cases. ISSRE Workshops (2016)
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko
Efficient CTL Verification via Horn Constraints Solving. HCVS@ETAPS (2016)
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
Recursive Games for Compositional Program Synthesis. VSTTE (2015)
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko
CTL+FO Verification as Constraint Solving. CoRR (2014)
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko
CTL+FO verification as constraint solving. SPIN (2014)
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
A constraint-based approach to solving games on infinite graphs. POPL (2014)
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko
Solving Existentially Quantified Horn Clauses. CAV (2013)

Tewodros A. Beyene.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tewodros A. Beyene