Ahmed Bhayat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | The Vampire Diary. | Filip Brtek, Ahmed Bhayat, Robin Coutelier, Mrton Hajd, Matthias Hetzenberger, Petra Hozzov, Laura Kovcs, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov |
| 2024 | IJCAR | A Higher-Order Vampire (Short Paper). | Ahmed Bhayat, Martin Suda |
| 2023 | CADE | Superposition with Delayed Unification. | Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson |
| 2023 | LPAR | Refining Unification with Abstraction. | Ahmed Bhayat, Konstantin Korovin, Laura Kovcs, Johannes Schoisswohl |
| 2022 | FASE | FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). | Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro |
| 2022 | FMCAD | The Rapid Software Verification Framework. | Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovcs, Giles Reger |
| 2021 | TAP | FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. | Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro |
| 2020 | CADE | A Knuth-Bendix-Like Ordering for Orienting Combinator Equations. | Ahmed Bhayat, Giles Reger |
| 2020 | CADE | A Combinator-Based Superposition Calculus for Higher-Order Logic. | Ahmed Bhayat, Giles Reger |
| 2020 | CADE | A Polymorphic Vampire - (Short Paper). | Ahmed Bhayat, Giles Reger |
| 2019 | CADE | Restricted Combinatory Unification. | Ahmed Bhayat, Giles Reger |
| 2018 | CADE | Set of Support for Higher-Order Reasoning. | Ahmed Bhayat, Giles Reger |