Tewodros A Beyene
Title
Cited by
Cited by
Year
Solving existentially quantified horn clauses
TA Beyene, C Popeea, A Rybalchenko
International Conference on Computer Aided Verification, 869-882, 2013
1012013
A constraint-based approach to solving games on infinite graphs
T Beyene, S Chaudhuri, C Popeea, A Rybalchenko
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of†…, 2014
722014
CTL+ FO verification as constraint solving
TA Beyene, M Brockschmidt, A Rybalchenko
Proceedings of the 2014 International SPIN Symposium on Model Checking of†…, 2014
132014
Integrated formal methods for constructing assurance cases
C C‚rlan, TA Beyene, H Ruess
2016 IEEE International Symposium on Software Reliability Engineering†…, 2016
52016
Recursive games for compositional program synthesis
TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko
VSSTE, 19-39, 2015
52015
Efficient CTL Verification via Horn Constraints Solving
TA Beyene, C Popeea, A Rybalchenko
42016
Application of Improved Grammatical Evolution to Santa Fe Trail Problems
T Kuroda, H Iwassa, TA Beyene, E Kita
Proceedings in Information and Communications Technology, 218-22, 2010
22010
Rule-Based Safety Evidence for Neural Networks
TA Beyene, A Sahu
International Conference on Computer Safety, Reliability, and Security, 328-335, 2020
12020
Evidential and Continuous Integration of Software Verification Tools
TA Beyene, H Ruess
International Symposium on Formal Methods, 679-685, 2018
12018
Temporal Program Verification and Synthesis as Horn Constraints Solving
TA Beyene
Technische Universitšt MŁnchen, 2015
12015
Integrated Formal Analysis for Ada Programs
TA Beyene, C Herrera
ADA USER 41 (2), 103, 2020
2020
A Proof Theory for Distributed Evidential Transactions
V Nigam, G Reis, D Balta, T Beyene, H Ruess, N Shankar
2020
Verification of Ada Programs with AdaHorn
TA Beyene, C Herrera, V Nigam
Ada User Journal, 2019
2019
Constraint-based verification of imperative programs
TA Beyene
Faculdade de CiÍncias e Tecnologia, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–14