Omar I. Al-Bataineh

42 papers A* 4A 3B 3C 4Journal 22Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Debugging the Undebuggable: Why Multi-Fault Programs Break Debugging and Repair Tools. ASE Omar I. Al-Bataineh
2025	A*	`conf`	Interaction-Aware Patch Assessment for Multi-Fault Automated Program Repair. ASE Omar I. Al-Bataineh
2025	A	`conf`	Reduce Before you Repair: Advantages of Combining Program Slicing with Automated Program Repair. SANER Omar I. Al-Bataineh
2025	A	`conf`	Towards Developing Effective Oracles to Reduce Patch Overfitting in Automated Program Repair. SANER Omar I. Al-Bataineh
2025	A	`conf`	Towards Interaction-Aware Validation Oracles for Multi-Fault Program Repair. ICSME Omar I. Al-Bataineh
2024	A*	`conf`	A Formal Treatment of Performance Bugs. ASE Omar I. Al-Bataineh
2024	A*	`conf`	Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects. ASE Omar I. Al-Bataineh
2024	J	`jnl`	Extending the range of bugs that automated program repair can handle. J. Syst. Softw. Omar I. Al-Bataineh, Leon Moonen, Linas Vidziunas
2024	B	`conf`	Invariant-based Program Repair. FASE Omar I. Al-Bataineh
2024	J	`jnl`	On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair. CoRR Omar I. Al-Bataineh
2024	—	`conf`	Towards Developing Effective Fault Localization Techniques for Termination Bugs in Loop Programs. APR Omar I. Al-Bataineh, Leon Moonen
2024	B	`conf`	Towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair. ICECCS Omar I. Al-Bataineh
2023	J	`jnl`	Invariant-based Program Repair. CoRR Omar I. Al-Bataineh
2022	C	`conf`	Towards Extending the Range of Bugs That Automated Program Repair Can Handle. QRS Omar I. Al-Bataineh, Leon Moonen
2022	J	`jnl`	Towards Extending the Range of Bugs That Automated Program Repair Can Handle. CoRR Omar I. Al-Bataineh, Leon Moonen
2022	J	`jnl`	Verifix: Verified Repair of Programming Assignments. ACM Trans. Softw. Eng. Methodol. Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
2021	—	`conf`	Monitoring Cumulative Cost Properties. FormaliSE@ICSE Omar I. Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran
2021	J	`jnl`	Monitoring Cumulative Cost Properties. CoRR Omar I. Al-Bataineh, Daniel Jun Xian Ng, Arvind Easwaran
2021	C	`conf`	Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques. QRS Omar I. Al-Bataineh, Anastasiia Grishina, Leon Moonen
2021	J	`jnl`	Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques. CoRR Omar I. Al-Bataineh, Anastasiia Grishina, Leon Moonen
2021	J	`jnl`	Verifix: Verified Repair of Programming Assignments. CoRR Umair Z. Ahmed, Zhiyu Fan, Jooyong Yi, Omar I. Al-Bataineh, Abhik Roychoudhury
2020	J	`jnl`	Smart Contract Repair. ACM Trans. Softw. Eng. Methodol. Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury
2019	—	`conf`	A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. SPIN Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
2019	J	`jnl`	Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. ACM Trans. Embed. Comput. Syst. Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
2019	—	`conf`	Epistemic model checking of distributed commit protocols with byzantine faults. FormaliSE@ICSE Omar I. Al-Bataineh, Mark Reynolds
2019	J	`jnl`	Smart Contract Repair. CoRR Xiao Liang Yu, Omar I. Al-Bataineh, David Lo, Abhik Roychoudhury
2018	—	`conf`	A Comparative Study of Decision Diagrams for Real-Time Model Checking. SPIN Omar I. Al-Bataineh, Mark Reynolds, David S. Rosenblum
2018	J	`jnl`	Efficient Decentralized LTL Monitoring Framework Using Tableau Approach. CoRR Omar I. Al-Bataineh
2018	J	`jnl`	Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table. CoRR Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds
2017	J	`jnl`	Epistemic Model Checking of Atomic Commitment Protocols with Byzantine Failures. CoRR Omar I. Al-Bataineh
2017	J	`jnl`	Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior. CoRR Omar I. Al-Bataineh, Michael Fisher, David S. Rosenblum
2017	J	`jnl`	Finding minimum and maximum termination time of timed automata models with cyclic behaviour. Theor. Comput. Sci. Omar I. Al-Bataineh, Mark Reynolds, Tim French
2016	J	`jnl`	Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. CoRR Omar I. Al-Bataineh, Mark Reynolds, Tim French
2016	J	`jnl`	Termination of Monotone Programs. CoRR Omar I. Al-Bataineh, Xiaofei Xie, Alwen Tiu, Mark Reynolds
2015	J	`jnl`	Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Formal Aspects Comput. Omar I. Al-Bataineh, Mark Reynolds, Tim French
2014	—	`conf`	Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS Omar I. Al-Bataineh, Mark Reynolds, Tim French
2012	C	`conf`	Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. TIME Omar I. Al-Bataineh, Tim French, Terry Woodings
2012	J	`jnl`	Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology CoRR Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings
2011	B	`conf`	Abstraction for epistemic model checking of dining cryptographers-based protocols. TARK Omar I. Al-Bataineh, Ron van der Meyden
2010	J	`jnl`	Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols CoRR Omar I. Al-Bataineh, Ron van der Meyden
2010	C	`conf`	Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast. SecureComm Omar I. Al-Bataineh, Ron van der Meyden
2010	J	`jnl`	Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast CoRR Omar I. Al-Bataineh, Ron van der Meyden