Tewodros A. Beyene

According to our database, Tewodros A. Beyene authored at least 12 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2023

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 Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu

Proceedings of the Bridging the Gap Between AI and Reality, 2023

2021

CyberGSN: A Semi-formal Language for Specifying Safety Cases.

Tewodros A. Beyene, Carmen Cârlan

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

Rule-Based Safety Evidence for Neural Networks.

Tewodros A. Beyene, Amit Sahu

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2018

Evidential and Continuous Integration of Software Verification Tools.

Tewodros A. Beyene, Harald Ruess

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2016

Efficient CTL Verification via Horn Constraints Solving.

Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

Integrated Formal Methods for Constructing Assurance Cases.

Carmen Cârlan, Tewodros A. Beyene, Harald Ruess

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

Temporal Program Verification and Synthesis as Horn Constraints Solving.

Tewodros A. Beyene

PhD thesis, 2015

Recursive Games for Compositional Program Synthesis.

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

2014

CTL+FO verification as constraint solving.

Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

A constraint-based approach to solving games on infinite graphs.

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Solving Existentially Quantified Horn Clauses.

Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Computer Aided Verification - 25th International Conference, 2013