A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020 | 49 | 2020 |
Restricted combinatory unification A Bhayat, G Reger International Conference on Automated Deduction, 74-93, 2019 | 31 | 2019 |
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 | 27 | 2021 |
Set of Support for Higher-Order Reasoning. A Bhayat, G Reger PAAR@ FLoC, 2-16, 2018 | 23 | 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 | 20 | 2022 |
Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 14 | 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 |
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 | 4 | 2022 |
A Polymorphic Vampire: (Short Paper) A Bhayat, G Reger International Joint Conference on Automated Reasoning, 361-368, 2020 | 4 | 2020 |
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis KM Alshmrany, M Aldughaim, A Bhayat, F Shmarov, F Aljaafari, ... arXiv preprint arXiv:2206.14068, 2022 | 3 | 2022 |
Vampire 4.7-SMT System Description G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ... | 3 | 2022 |
A combinator-based superposition calculus for higher-order logic (technical report) A Bhayat, G Reger EasyChair, 2020 | 3 | 2020 |
A Knuth-Bendix-like ordering for orienting combinator equations (technical report) A Bhayat, G Reger Technical report, University of Mancester, 2020 | 3 | 2020 |
Automated theorem proving in higher-order logic A Bhayat PQDT-Global, 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 |
The Rapid Software Verification Framework. P Georgiou, B Gleiss, A Bhayat, M Rawson, L Kovács, G Reger FMCAD, 255-260, 2022 | 2 | 2022 |
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 |
Refining Unification with Abstraction A Bhayat, K Korovin, L Kovacs, J Schoisswohl Proceedings of 24th International Conference on Logic for Programming …, 2023 | 1 | 2023 |
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 | 1 | 2022 |