Follow
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
1182013
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
912014
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
Recursive games for compositional program synthesis
TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko
VSSTE, 19-39, 2015
72015
Integrated formal methods for constructing assurance cases
C Cârlan, TA Beyene, H Ruess
2016 IEEE International Symposium on Software Reliability Engineering …, 2016
62016
Efficient CTL Verification via Horn Constraints Solving
TA Beyene, C Popeea, A Rybalchenko
62016
Rule-based safety evidence for neural networks
TA Beyene, A Sahu
International Conference on Computer Safety, Reliability, and Security, 328-335, 2020
32020
Temporal Program Verification and Synthesis as Horn Constraints Solving
TA Beyene
Technische Universität München, 2015
32015
Evidential and continuous integration of software verification tools
TA Beyene, H Ruess
International Symposium on Formal Methods, 679-685, 2018
22018
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
Practical Analysis of Neural Networks Using Constraints Solving
TA Beyene, A Sahu
HCVS, 4, 2022
2022
CyberGSN: A Semi-formal Language for Specifying Safety Cases
TA Beyene, C Carlan
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
2021
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)| 978-1-6654-3950-3/21/$31.00© 2021 IEEE| DOI: 10.1109/DSN-W52860. 2021 …
F Ahmad, Y Amir, E Asselin, V Bandur, TA Beyene, G Boisvert, T Braun, ...
2021
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–17