| Solving existentially quantified horn clauses TA Beyene, C Popeea, A Rybalchenko Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 121 | 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 | 97 | 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 | 7 | 2016 |
| Recursive games for compositional program synthesis TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko Verified Software: Theories, Tools, and Experiments: 7th International …, 2016 | 7 | 2016 |
| Efficient CTL Verification via Horn Constraints Solving TA Beyene, C Popeea, A Rybalchenko | 6 | 2016 |
| Rule-based safety evidence for neural networks TA Beyene, A Sahu Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020 | 3 | 2020 |
| Temporal Program Verification and Synthesis as Horn Constraints Solving TA Beyene Technische Universität München, 2015 | 3 | 2015 |
| CyberGSN: A Semi-formal Language for Specifying Safety Cases TA Beyene, C Carlan 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 2 | 2021 |
| Evidential and continuous integration of software verification tools TA Beyene, H Ruess Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 2 | 2018 |
| 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 |
| A Proof Theory for Distributed Evidential Transactions V Nigam, G Reis, D Balta, T Beyene, H Ruess, N Shankar | 1 | 2020 |
| Practical Analysis of Neural Networks Using Constraints Solving TA Beyene, A Sahu HCVS, 4, 2022 | | 2022 |
| 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 |
| 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 PQDT-Global, 2011 | | 2011 |
