Solving existentially quantified horn clauses TA Beyene, C Popeea, A Rybalchenko Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 130 | 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 | 114 | 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 | 14 | 2014 |
Integrated formal methods for constructing assurance cases C Cârlan, TA Beyene, H Ruess 2016 IEEE International Symposium on Software Reliability Engineering …, 2016 | 10 | 2016 |
Efficient CTL Verification via Horn Constraints Solving TA Beyene, C Popeea, A Rybalchenko | 10 | 2016 |
Recursive games for compositional program synthesis TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko Verified Software: Theories, Tools, and Experiments: 7th International …, 2016 | 8 | 2016 |
Continuous engineering for trustworthy learning-enabled autonomous systems S Bensalem, P Katsaros, D Ničković, BHC Liao, RR Nolasco, ... International Conference on Bridging the Gap between AI and Reality, 256-278, 2023 | 6 | 2023 |
CyberGSN: a semi-formal language for specifying safety cases TA Beyene, C Carlan 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 6 | 2021 |
Rule-based safety evidence for neural networks TA Beyene, A Sahu Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020 | 4 | 2020 |
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 | 3 | 2018 |
Temporal Program Verification and Synthesis as Horn Constraints Solving TA Beyene Technische Universität München, 2015 | 3 | 2015 |
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 |
Continuous Safety & Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus N Shankar, D Bhatt, S Vara-darajan, A Murugesan, H Ren, I Wong, K Siu, ... 43rd AIAA/IEEE Digital Avionics Systems Conference (DASC), 2024 | | 2024 |
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus L Sorokin, R Bouchekir, TA Beyene, BHC Liao, A Molin European Dependable Computing Conference, 49-61, 2024 | | 2024 |
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 |