Skip to content
cs-conference-ranking.org

Omar I. Al-Bataineh

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

8

Active years

2010–2026

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2026ICSEThe Undecidability of Overfitting in Automated Program Repair.Omar I. Al-Bataineh
2025SANERReduce Before you Repair: Advantages of Combining Program Slicing with Automated Program Repair.Omar I. Al-Bataineh
2025SANERTowards Developing Effective Oracles to Reduce Patch Overfitting in Automated Program Repair.Omar I. Al-Bataineh
2024FASEInvariant-based Program Repair.Omar I. Al-Bataineh
2024ICECCSTowards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair.Omar I. Al-Bataineh
2022QRSTowards Extending the Range of Bugs That Automated Program Repair Can Handle.Omar I. Al-Bataineh, Leon Moonen
2021ICSEMonitoring Cumulative Cost Properties.Omar I. Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran
2021QRSTowards More Reliable Automated Program Repair by Integrating Static Analysis Techniques.Omar I. Al-Bataineh, Anastasiia Grishina, Leon Moonen
2019ICSEEpistemic model checking of distributed commit protocols with byzantine faults.Omar I. Al-Bataineh, Mark Reynolds
2012TIMEFormal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.Omar I. Al-Bataineh, Tim French, Terry Woodings
2011TARKAbstraction for epistemic model checking of dining cryptographers-based protocols.Omar I. Al-Bataineh, Ron van der Meyden
2010SecureCommEpistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast.Omar I. Al-Bataineh, Ron van der Meyden