| A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020 | 54 | 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 | 36 | 2021 |
| Restricted combinatory unification A Bhayat, G Reger International Conference on Automated Deduction, 74-93, 2019 | 31 | 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 | 22 | 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 |
| A Polymorphic Vampire: (Short Paper) A Bhayat, G Reger International Joint Conference on Automated Reasoning, 361-368, 2020 | 6 | 2020 |
| Llm-generated invariants for bounded model checking without loop unrolling MAA Pirzada, G Reger, A Bhayat, LC Cordeiro Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 5 | 2024 |
| 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 36 (2), 1-25, 2024 | 5 | 2024 |
| 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, ... SMT-COMP, 2022 | 5 | 2022 |
| The rapid software verification framework P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger # PLACEHOLDER_PARENT_METADATA_VALUE#, 255-260, 2022 | 5 | 2022 |
| Automated theorem proving in higher-order logic A Bhayat PQDT-Global, 2020 | 5 | 2020 |
| Superposition with delayed unification A Bhayat, J Schoisswohl, M Rawson International Conference on Automated Deduction, 23-40, 2023 | 4 | 2023 |
| Reinforced external guidance for theorem provers M Rawson, A Bhayat, G Reger 7th Workshop Practical Aspects Automated Reasoning, 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 |
| Higher-order reasoning vampire style A Bhayat, G Reger 25th Automated Reasoning Workshop, 19, 2018 | 3 | 2018 |
| A higher-order vampire (short paper) A Bhayat, M Suda International Joint Conference on Automated Reasoning, 75-85, 2024 | 2 | 2024 |
| 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 |
Giles RegerAmazon (formerly University of Manchester, UK)Verified email at manchester.ac.uk
