| A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020 | 51 | 2020 |
| 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 | 32 | 2021 |
| Restricted combinatory unification A Bhayat, G Reger International Conference on Automated Deduction, 74-93, 2019 | 30 | 2019 |
| Set of Support for Higher-Order Reasoning. A Bhayat, G Reger PAAR@ FLoC, 2-16, 2018 | 24 | 2018 |
| FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing: (Competition Contribution) KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro International Conference On Fundamental Approaches To Software Engineering …, 2022 | 21 | 2022 |
| Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 15 | 2018 |
| A Knuth-Bendix-like ordering for orienting combinator equations A Bhayat, G Reger International Joint Conference on Automated Reasoning, 259-277, 2020 | 7 | 2020 |
| The Rapid Software Verification Framework. P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger FMCAD, 255-260, 2022 | 5 | 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 | 5 | 2022 |
| Vampire 4.7-SMT System Description G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ... | 5 | 2022 |
| A Polymorphic Vampire: (Short Paper) A Bhayat, G Reger International Joint Conference on Automated Reasoning, 361-368, 2020 | 5 | 2020 |
| FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis K Alshmrany, M Aldughaim, A Bhayat, L Cordeiro Formal Aspects of Computing, 2024 | 4 | 2024 |
| Superposition with delayed unification A Bhayat, J Schoisswohl, M Rawson International Conference on Automated Deduction, 23-40, 2023 | 4 | 2023 |
| Automated theorem proving in higher-order logic A Bhayat PQDT-Global, 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 |
| Lemmaless induction in trace logic A Bhayat, P Georgiou, C Eisenhofer, L Kovács, G Reger International Conference on Intelligent Computer Mathematics, 191-208, 2022 | 2 | 2022 |
| A combinator-based superposition calculus for higher-order logic (technical report) A Bhayat, G Reger EasyChair, 2020 | 2 | 2020 |
| Towards a hybrid approach to protect against memory safety vulnerabilities A Bhayat, L Cordeiro, G Reger, F Shmarov, K Korovin, T Melham, ... Authorea Preprints, 2023 | 1 | 2023 |
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
