Ahmed Bhayat
Ahmed Bhayat
Verified email at postgrad.manchester.ac.uk
Title
Cited by
Cited by
Year
A combinator-based superposition calculus for higher-order logic
A Bhayat, G Reger
International Joint Conference on Automated Reasoning, 278-296, 2020
222020
Restricted combinatory unification
A Bhayat, G Reger
International Conference on Automated Deduction, 74-93, 2019
222019
Set of Support for Higher-Order Reasoning.
A Bhayat, G Reger
PAAR@ FLoC, 2-16, 2018
192018
Vampire
A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ...
142018
A Polymorphic Vampire
A Bhayat, G Reger
International Joint Conference on Automated Reasoning, 361-368, 2020
52020
A Knuth-Bendix-like ordering for orienting combinator equations
A Bhayat, G Reger
International Joint Conference on Automated Reasoning, 259-277, 2020
42020
A Knuth-Bendix-like ordering for orienting combinator equations (technical report)
A Bhayat, G Reger
Technical report, University of Mancester, 2020
32020
Higher-order reasoning vampire style
A Bhayat, G Reger
25th Automated Reasoning Workshop, 19, 2018
32018
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro
International Conference on Tests and Proofs, 85-105, 2021
22021
A combinator-based superposition calculus for higher-order logic (technical report)
A Bhayat, G Reger
EasyChair, 2020
22020
Reinforced external guidance for theorem provers
M Rawson, A Bhayat, G Reger
PAAR, 2020
22020
FuSeBMC: An Energy-Efficient Verifier for Finding Security Vulnerabilities in C Programs
K Alshmrany, M Aldughaim, A Bhayat, L Cordeiro
2021
Automated theorem proving in higher-order logic
A Bhayat
PQDT-Global, 2021
2021
Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
K Alshmrany, A Bhayat, L Cordeiro, K Korovin, T Melham, MA Mustafa, ...
The system can't perform the operation now. Try again later.
Articles 1–14