| Solving existentially quantified horn clauses TA Beyene, C Popeea, A Rybalchenko International Conference on Computer Aided Verification, 869-882, 2013 | 101 | 2013 |
| 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 | 71 | 2014 |
| CTL+ FO verification as constraint solving TA Beyene, M Brockschmidt, A Rybalchenko Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 13 | 2014 |
| Integrated formal methods for constructing assurance cases C Cârlan, TA Beyene, H Ruess 2016 IEEE International Symposium on Software Reliability Engineering …, 2016 | 5 | 2016 |
| Recursive games for compositional program synthesis TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko VSSTE, 19-39, 2015 | 5 | 2015 |
| Efficient CTL Verification via Horn Constraints Solving TA Beyene, C Popeea, A Rybalchenko | 4 | 2016 |
| 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 | 2 | 2010 |
| Rule-Based Safety Evidence for Neural Networks TA Beyene, A Sahu International Conference on Computer Safety, Reliability, and Security, 328-335, 2020 | 1 | 2020 |
| Evidential and Continuous Integration of Software Verification Tools TA Beyene, H Ruess International Symposium on Formal Methods, 679-685, 2018 | 1 | 2018 |
| Temporal Program Verification and Synthesis as Horn Constraints Solving TA Beyene Technische Universität München, 2015 | 1 | 2015 |
| 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 |
