Ahmed Bhayat - RankMe

23 papers A* 1A 2B 3C 1Journal 7Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Comparing quantum and classical Monte Carlo algorithms for estimating Betti numbers of clique complexes. Quantum Ismail Yunus Akhalwaya, Ahmed Bhayat, Adam Connolly, Steven Herbert, Lior Horesh, Julien Sorci, Shashanka Ubaru
2025	—	`conf`	The Vampire Diary. CAV (3) Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2025	J	`jnl`	The Vampire Diary. CoRR Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
2024	—	`conf`	A Higher-Order Vampire (Short Paper). IJCAR (1) Ahmed Bhayat, Martin Suda
2024	J	`jnl`	A Higher-Order Vampire (Short Paper). CoRR Ahmed Bhayat, Martin Suda
2024	J	`jnl`	FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. Formal Aspects Comput. Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2024	A*	`conf`	LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling. ASE Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro
2024	J	`jnl`	Superposition with Delayed Unification. CoRR Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
2023	B	`conf`	Refining Unification with Abstraction. LPAR Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl
2023	A	`conf`	Superposition with Delayed Unification. CADE Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
2022	J	`jnl`	FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis. CoRR Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
2022	B	`conf`	FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). FASE Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2022	C	`conf`	Lemmaless Induction in Trace Logic. CICM Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
2022	—	`conf`	Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
2022	B	`conf`	The Rapid Software Verification Framework. FMCAD Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovács, Giles Reger
2021	—	`—`	Automated theorem proving in higher-order logic Ahmed Bhayat
2021	J	`jnl`	FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing. CoRR Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2021	—	`conf`	FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. TAP@STAF Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2020	—	`conf`	A Combinator-Based Superposition Calculus for Higher-Order Logic. IJCAR (1) Ahmed Bhayat, Giles Reger
2020	—	`conf`	A Knuth-Bendix-Like Ordering for Orienting Combinator Equations. IJCAR (1) Ahmed Bhayat, Giles Reger
2020	—	`conf`	A Polymorphic Vampire - (Short Paper). IJCAR (2) Ahmed Bhayat, Giles Reger
2019	A	`conf`	Restricted Combinatory Unification. CADE Ahmed Bhayat, Giles Reger
2018	—	`conf`	Set of Support for Higher-Order Reasoning. PAAR@FLoC Ahmed Bhayat, Giles Reger