Follow
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
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
362020
Restricted combinatory unification
A Bhayat, G Reger
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
292019
Set of Support for Higher-Order Reasoning.
A Bhayat, G Reger
PAAR@ FLoC, 2-16, 2018
222018
Vampire
A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ...
142018
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro
Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of …, 2021
112021
A Knuth-Bendix-like ordering for orienting combinator equations
A Bhayat, G Reger
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
52020
A Polymorphic Vampire: (Short Paper)
A Bhayat, G Reger
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
42020
A Knuth-Bendix-like ordering for orienting combinator equations (technical report)
A Bhayat, G Reger
Technical report, University of Mancester, 2020
32020
Reinforced external guidance for theorem provers
M Rawson, A Bhayat, G Reger
7th Workshop Practical Aspects Automated Reasoning, 2020
32020
Higher-order reasoning vampire style
A Bhayat, G Reger
25th Automated Reasoning Workshop, 19, 2018
32018
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing: (Competition Contribution)
KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro
Fundamental Approaches to Software Engineering: 25th International …, 2022
22022
Automated theorem proving in higher-order logic
A Bhayat
PQDT-Global, 2021
22021
A combinator-based superposition calculus for higher-order logic (technical report)
A Bhayat, G Reger
EasyChair, 2020
22020
Lemmaless induction in trace logic
A Bhayat, P Georgiou, C Eisenhofer, L Kovács, G Reger
Intelligent Computer Mathematics: 15th International Conference, CICM 2022 …, 2022
12022
The RAPID Software Verification Framework
P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2022, 255, 2022
2022
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
K Alshmrany, A Bhayat, F Brauße, L Cordeiro, K Korovin, T Melham, ...
2022 IEEE Secure Development Conference (SecDev), 52-58, 2022
2022
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis
KM Alshmrany, M Aldughaim, A Bhayat, F Shmarov, F Aljaafari, ...
arXiv preprint arXiv:2206.14068, 2022
2022
Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
A Bhayat, L Cordeiro, G Reger, F Shmarov, K Korovin, T Melham, ...
TechRxiv, 2021
2021
FuSeBMC: An Energy-Efficient Verifier for Finding Security Vulnerabilities in C Programs
K Alshmrany, M Aldughaim, A Bhayat, L Cordeiro
2021
Williams, Laurie 69 Xiao, Ya 61 Yao, Danfeng 61, 77 Yasar, Hasan 5
Y Zhao, N Allen, K Alshmrany, S Andreina, N Asokan, P Bajpai, SK Basak, ...
The system can't perform the operation now. Try again later.
Articles 1–20