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

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.