Tewodros A. Beyene
Cited by
Cited by
Solving existentially quantified horn clauses
TA Beyene, C Popeea, A Rybalchenko
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 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
CTL+ FO verification as constraint solving
TA Beyene, M Brockschmidt, A Rybalchenko
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
Integrated formal methods for constructing assurance cases
C Cârlan, TA Beyene, H Ruess
2016 IEEE International Symposium on Software Reliability Engineering …, 2016
Recursive games for compositional program synthesis
TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko
Verified Software: Theories, Tools, and Experiments: 7th International …, 2016
Efficient CTL Verification via Horn Constraints Solving
TA Beyene, C Popeea, A Rybalchenko
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
CyberGSN: a semi-formal language for specifying safety cases
TA Beyene, C Carlan
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
Rule-based safety evidence for neural networks
TA Beyene, A Sahu
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020
Temporal Program Verification and Synthesis as Horn Constraints Solving
TA Beyene
Technische Universität München, 2015
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
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
A Proof Theory for Distributed Evidential Transactions
V Nigam, G Reis, D Balta, T Beyene, H Ruess, N Shankar
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
Practical Analysis of Neural Networks Using Constraints Solving
TA Beyene, A Sahu
HCVS, 4, 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, ...
Integrated Formal Analysis for Ada Programs
TA Beyene, C Herrera
ADA USER 41 (2), 103, 2020
Verification of Ada Programs with AdaHorn
TA Beyene, C Herrera, V Nigam
Ada User Journal, 2019
Constraint-based Verification of Imperative Programs
TA Beyene
PQDT-Global, 2011
The system can't perform the operation now. Try again later.
Articles 1–19