Ahmed Bhayat

According to our database, Ahmed Bhayat authored at least 15 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Refining Unification with Abstraction.

Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Superposition with Delayed Unification.

Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson

Proceedings of the Automated Deduction - CADE 29, 2023

2022

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro

CoRR, 2022

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.

Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov

Proceedings of the IEEE Secure Development Conference, 2022

Lemmaless Induction in Trace Logic.

Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

The Rapid Software Verification Framework.

Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution).

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Automated theorem proving in higher-order logic

Ahmed Bhayat

PhD thesis, 2021

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

CoRR, 2021

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Proceedings of the Tests and Proofs - 15th International Conference, 2021

2020

A Polymorphic Vampire - (Short Paper).

Ahmed Bhayat, Giles Reger

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A Combinator-Based Superposition Calculus for Higher-Order Logic.

Ahmed Bhayat, Giles Reger

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A Knuth-Bendix-Like Ordering for Orienting Combinator Equations.

Ahmed Bhayat, Giles Reger

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Restricted Combinatory Unification.

Ahmed Bhayat, Giles Reger

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Set of Support for Higher-Order Reasoning.

Ahmed Bhayat, Giles Reger

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018