| A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 36 | 2020 |
| Restricted combinatory unification A Bhayat, G Reger Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 29 | 2019 |
| Set of Support for Higher-Order Reasoning. A Bhayat, G Reger PAAR@ FLoC, 2-16, 2018 | 22 | 2018 |
| Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 14 | 2018 |
| 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 | 11 | 2021 |
| A Knuth-Bendix-like ordering for orienting combinator equations A Bhayat, G Reger Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 5 | 2020 |
| A Polymorphic Vampire: (Short Paper) A Bhayat, G Reger Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 4 | 2020 |
| A Knuth-Bendix-like ordering for orienting combinator equations (technical report) A Bhayat, G Reger Technical report, University of Mancester, 2020 | 3 | 2020 |
| Reinforced external guidance for theorem provers M Rawson, A Bhayat, G Reger 7th Workshop Practical Aspects Automated Reasoning, 2020 | 3 | 2020 |
| Higher-order reasoning vampire style A Bhayat, G Reger 25th Automated Reasoning Workshop, 19, 2018 | 3 | 2018 |
| 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 | 2 | 2022 |
| Automated theorem proving in higher-order logic A Bhayat PQDT-Global, 2021 | 2 | 2021 |
| A combinator-based superposition calculus for higher-order logic (technical report) A Bhayat, G Reger EasyChair, 2020 | 2 | 2020 |
| 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 | 1 | 2022 |
| 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, ... | | |
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
