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
Efficient CTL Verification via Horn Constraints Solving
TA Beyene, C Popeea, A Rybalchenko
Recursive games for compositional program synthesis
TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko
Verified Software: Theories, Tools, and Experiments: 7th International …, 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
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
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
Temporal Program Verification and Synthesis as Horn Constraints Solving
TA Beyene
Technische Universität München, 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
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