Ahmed Bhayat

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 18

Top Topics

Seeded Region Growing

Top Venues

Formal Aspects Comput.

Publications

Ahmed Bhayat, Martin Suda
A Higher-Order Vampire (Short Paper). IJCAR (1) (2024)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. Formal Aspects Comput. 36 (2) (2024)
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Superposition with Delayed Unification. CoRR (2024)
Ahmed Bhayat, Martin Suda
A Higher-Order Vampire (Short Paper). CoRR (2024)
Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl
Refining Unification with Abstraction. LPAR (2023)
Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Superposition with Delayed Unification. CADE (2023)
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev (2022)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). FASE (2022)
Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
The Rapid Software Verification Framework. FMCAD (2022)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis. CoRR (2022)
Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
Lemmaless Induction in Trace Logic. CICM (2022)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. TAP@STAF (2021)
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing. CoRR (2021)
Ahmed Bhayat, Giles Reger
A Combinator-Based Superposition Calculus for Higher-Order Logic. IJCAR (1) (2020)
Ahmed Bhayat, Giles Reger
A Polymorphic Vampire - (Short Paper). IJCAR (2) (2020)
Ahmed Bhayat, Giles Reger
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations. IJCAR (1) (2020)
Ahmed Bhayat, Giles Reger
Restricted Combinatory Unification. CADE (2019)
Ahmed Bhayat, Giles Reger
Set of Support for Higher-Order Reasoning. PAAR@FLoC (2018)