Ahmed Bhayat

Orcid: 0000-0002-1343-5084

According to our database1, Ahmed Bhayat authored at least 17 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis.
Formal Aspects Comput., June, 2024

A Higher-Order Vampire (Short Paper).
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023
Refining Unification with Abstraction.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Superposition with Delayed Unification.
Proceedings of the Automated Deduction - CADE 29, 2023

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

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.
Proceedings of the IEEE Secure Development Conference, 2022

Lemmaless Induction in Trace Logic.
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

The Rapid Software Verification Framework.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021
Automated theorem proving in higher-order logic
PhD thesis, 2021

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing.
CoRR, 2021

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.
Proceedings of the Tests and Proofs - 15th International Conference, 2021

2020
A Polymorphic Vampire - (Short Paper).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A Combinator-Based Superposition Calculus for Higher-Order Logic.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

A Knuth-Bendix-Like Ordering for Orienting Combinator Equations.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Restricted Combinatory Unification.
Proceedings of the Automated Deduction - CADE 27, 2019

2018
Set of Support for Higher-Order Reasoning.
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018


  Loading...