Omar I. Al-Bataineh

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 25

Top Topics

Commit Protocols

Temporal Epistemic

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Omar I. Al-Bataineh, Leon Moonen, Linas Vidziunas
Extending the range of bugs that automated program repair can handle. J. Syst. Softw. 209 (2024)
Omar I. Al-Bataineh
On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair. CoRR (2024)
Omar I. Al-Bataineh
Invariant-based Program Repair. FASE (2024)
Omar I. Al-Bataineh
Invariant-based Program Repair. CoRR (2023)
Omar I. Al-Bataineh, Leon Moonen
Towards Extending the Range of Bugs That Automated Program Repair Can Handle. QRS (2022)
Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
Verifix: Verified Repair of Programming Assignments. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Omar I. Al-Bataineh, Leon Moonen
Towards Extending the Range of Bugs That Automated Program Repair Can Handle. CoRR (2022)
Omar I. Al-Bataineh, Anastasiia Grishina, Leon Moonen
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques. QRS (2021)
Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
Verifix: Verified Repair of Programming Assignments. CoRR (2021)
Omar I. Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran
Monitoring Cumulative Cost Properties. CoRR (2021)
Omar I. Al-Bataineh, Anastasiia Grishina, Leon Moonen
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques. CoRR (2021)
Omar I. Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran
Monitoring Cumulative Cost Properties. FormaliSE@ICSE (2021)
Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury
Smart Contract Repair. ACM Trans. Softw. Eng. Methodol. 29 (4) (2020)
Omar I. Al-Bataineh, Mark Reynolds
Epistemic model checking of distributed commit protocols with byzantine faults. FormaliSE@ICSE (2019)
Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. SPIN (2019)
Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury
Smart Contract Repair. CoRR (2019)
Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table. CoRR (2018)
Omar I. Al-Bataineh, Mark Reynolds, David S. Rosenblum
A Comparative Study of Decision Diagrams for Real-Time Model Checking. SPIN (2018)
Omar I. Al-Bataineh
Efficient Decentralized LTL Monitoring Framework Using Tableau Approach. CoRR (2018)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding minimum and maximum termination time of timed automata models with cyclic behaviour. Theor. Comput. Sci. 665 (2017)
Omar I. Al-Bataineh
Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures. CoRR (2017)
Omar I. Al-Bataineh, Michael Fisher, David S. Rosenblum
Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior. CoRR (2017)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. CoRR (2016)
Omar I. Al-Bataineh, Xiaofei Xie, Alwen Tiu, Mark Reynolds
Termination of Monotone Programs. CoRR (2016)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Formal Aspects Comput. 27 (5-6) (2015)
Omar I. Al-Bataineh, Mark Reynolds, Tim French
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS (2014)
Omar I. Al-Bataineh, Tim French, Terry Woodings
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. TIME (2012)
Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology CoRR (2012)
Omar I. Al-Bataineh, Ron van der Meyden
Abstraction for epistemic model checking of dining cryptographers-based protocols. TARK (2011)
Omar I. Al-Bataineh, Ron van der Meyden
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols CoRR (2010)
Omar I. Al-Bataineh, Ron van der Meyden
Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. SecureComm (2010)
Omar I. Al-Bataineh, Ron van der Meyden
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast CoRR (2010)