| 2026 | COMPSAC | GasZero: A Neuro-Symbolic Approach to Solidity Gas Optimization. | Sourena Khanzadeh, Manar H. Alalfi |
| 2026 | SANER | An Agentic AI Framework for Conflict-Aware Smart Home Automation via Natural Language. | Sayyada Aisha Mehvish, Manar H. Alalfi |
| 2026 | SANER | AgentHAB: Automating OpenHAB Rule Generation with Multi-Agent Policy and Validation. | Roxie Reginold, Manar H. Alalfi |
| 2025 | COMPSAC | SmartTinkerer: Bridging Smart Home Testing Gaps with LLM, Digital Twin & Reinforcement Learning. | Samad Alias Nyein Chan, Manar H. Alalfi |
| 2025 | COMPSAC | KASTroid: A Static Taint Analysis Framework for Kotlin-Based Android Applications. | Bara' Nazzal, Manar H. Alalfi, James R. Cordy |
| 2025 | COMPSAC | oHIT - A framework for openHAB Interaction Threats Identification in IoT Systems. | Jason Quantrill, Noura Khajehnouri, Manar H. Alalfi |
| 2025 | PST | A Modeling and Static Analysis Approach for the Verification of Privacy and Safety Properties in Kotlin Android Apps. | Bara' Nazzal, Manar H. Alalfi, James R. Cordy |
| 2024 | ICST | Timed Model-Based Mutation Operators for Simulink Models. | Jian Chen, Manar H. Alalfi, Thomas R. Dean |
| 2024 | ICST | Machine Learning for Cross-Vulnerability Prediction in Smart Contracts. | Hajra Naeem, Manar H. Alalfi |
| 2024 | ICST | A Survey on the Verification and Validation of Artificial Pancreas Software Systems. | Bara' Nazzal, Manar H. Alalfi, James R. Cordy |
| 2023 | QRS | Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques. | Sourena Khanzadeh, Noama Fatima Samreen, Manar H. Alalfi |
| 2020 | SCAM | An Approach for the Identification of Information Leakage in Automotive Infotainment systems. | Abdul Moiz, Manar H. Alalfi |
| 2019 | ICSE | Security analysis for SmartThings IoT applications. | Florian Schmeidl, Bara' Nazzal, Manar H. Alalfi |
| 2019 | QRS | Security Smells in Smart Contracts. | Mehmet Demir, Manar H. Alalfi, Ozgur Turetken, Alexander Ferworn |
| 2015 | SCAM | SimNav: Simulink navigation of model clone classes. | Eric J. Rapos, Andrew Stevenson, Manar H. Alalfi, James R. Cordy |
| 2014 | ICST | Towards a Taxonomy for Simulink Model Mutations. | Matthew Stephan, Manar H. Alalfi, James R. Cordy |
| 2013 | ICSE | Using mutation analysis for a model-clone detector comparison framework. | Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy |
| 2013 | ICWE | A Framework for Migrating Web Applications to Web Services. | Asil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
| 2013 | MODELS | Evolution of Model Clones in Simulink. | Matthew Stephan, Manar H. Alalfi, James R. Cordy, Andrew Stevenson |
| 2012 | ICWE | Recovering Role-Based Access Control Security Models from Dynamic Web Applications. | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
| 2009 | ICST | Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications. | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
| 2007 | ICWE | A Survey of Analysis Models and Methods in Website Verification and Testing. | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |