Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. - Omar I. Al-Bataineh; Ron van der Meyden (SecureComm, 2010)

Abstraction for epistemic model checking of dining cryptographers-based protocols. - Omar I. Al-Bataineh; Ron van der Meyden (TARK, 2011)

Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. - Omar I. Al-Bataineh; Tim French 002; Terry Woodings (TIME, 2012)

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology - Omar I. Al-Bataineh; Mark Reynolds 001; Tim French 002; Terry Woodings (CoRR, 2012)

Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. - Omar I. Al-Bataineh; Mark Reynolds 001; Tim French 002 (FORMATS, 2014)

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. - Omar I. Al-Bataineh; Mark Reynolds 001; Tim French 002 (Formal Aspects Comput., 2015)

Termination of Monotone Programs. - Omar I. Al-Bataineh; Xiaofei Xie; Alwen Tiu; Mark Reynolds 001 (CoRR, 2016)

Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures. - Omar I. Al-Bataineh (CoRR, 2017)

Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior. - Omar I. Al-Bataineh; Michael Fisher 001; David S. Rosenblum (CoRR, 2017)

Finding minimum and maximum termination time of timed automata models with cyclic behaviour. - Omar I. Al-Bataineh; Mark Reynolds 001; Tim French 002 (Theor. Comput. Sci., 2017)

A Comparative Study of Decision Diagrams for Real-Time Model Checking. - Omar I. Al-Bataineh; Mark Reynolds 001; David S. Rosenblum (SPIN, 2018)

Efficient Decentralized LTL Monitoring Framework Using Tableau Approach. - Omar I. Al-Bataineh (CoRR, 2018)

Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table. - Omar I. Al-Bataineh; David S. Rosenblum; Mark Reynolds 001 (CoRR, 2018)

Epistemic model checking of distributed commit protocols with byzantine faults. - Omar I. Al-Bataineh; Mark Reynolds 001 (FormaliSE@ICSE, 2019)

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. - Omar I. Al-Bataineh; David S. Rosenblum; Mark Reynolds 001 (SPIN, 2019)

Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. - Omar I. Al-Bataineh; David S. Rosenblum; Mark Reynolds 001 (ACM Trans. Embed. Comput. Syst., 2019)

Smart Contract Repair. - Xiao Liang Yu; Omar I. Al-Bataineh; David Lo 001; Abhik Roychoudhury (ACM Trans. Softw. Eng. Methodol., 2020)

Monitoring Cumulative Cost Properties. - Omar I. Al-Bataineh; Daniel Jun Xian Ng; Arvind Easwaran (FormaliSE@ICSE, 2021)

Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques. - Omar I. Al-Bataineh; Anastasiia Grishina; Leon Moonen (QRS, 2021)

Towards Extending the Range of Bugs That Automated Program Repair Can Handle. - Omar I. Al-Bataineh; Leon Moonen (QRS, 2022)

Verifix: Verified Repair of Programming Assignments. - Umair Z. Ahmed; Zhiyu Fan; Jooyong Yi; Omar I. Al-Bataineh; Abhik Roychoudhury (ACM Trans. Softw. Eng. Methodol., 2022)

Invariant-based Program Repair. - Omar I. Al-Bataineh (FASE, 2024)

Towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair. - Omar I. Al-Bataineh (ICECCS, 2024)

Towards Developing Effective Fault Localization Techniques for Termination Bugs in Loop Programs. - Omar I. Al-Bataineh; Leon Moonen (APR, 2024)

Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects. - Omar I. Al-Bataineh (ASE, 2024)

A Formal Treatment of Performance Bugs. - Omar I. Al-Bataineh (ASE, 2024)

On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair. - Omar I. Al-Bataineh (CoRR, 2024)

Extending the range of bugs that automated program repair can handle. - Omar I. Al-Bataineh; Leon Moonen; Linas Vidziunas (J. Syst. Softw., 2024)

Reduce Before you Repair: Advantages of Combining Program Slicing with Automated Program Repair. - Omar I. Al-Bataineh (SANER, 2025)

Towards Developing Effective Oracles to Reduce Patch Overfitting in Automated Program Repair. - Omar I. Al-Bataineh (SANER, 2025)