Follow
Tewodros A. Beyene
Title
Cited by
Cited by
Year
Solving existentially quantified horn clauses
TA Beyene, C Popeea, A Rybalchenko
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1262013
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
1102014
CTL+ FO verification as constraint solving
TA Beyene, M Brockschmidt, A Rybalchenko
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
142014
Integrated formal methods for constructing assurance cases
C Cârlan, TA Beyene, H Ruess
2016 IEEE International Symposium on Software Reliability Engineering …, 2016
82016
Efficient CTL Verification via Horn Constraints Solving
TA Beyene, C Popeea, A Rybalchenko
82016
Recursive games for compositional program synthesis
TA Beyene, S Chaudhuri, C Popeea, A Rybalchenko
Verified Software: Theories, Tools, and Experiments: 7th International …, 2016
82016
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
52023
CyberGSN: a semi-formal language for specifying safety cases
TA Beyene, C Carlan
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
42021
Rule-based safety evidence for neural networks
TA Beyene, A Sahu
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020
32020
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
32018
Temporal Program Verification and Synthesis as Horn Constraints Solving
TA Beyene
Technische Universität München, 2015
32015
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
22010
A Proof Theory for Distributed Evidential Transactions
V Nigam, G Reis, D Balta, T Beyene, H Ruess, N Shankar
12020
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
The system can't perform the operation now. Try again later.
Articles 1–19