A Survey of Analysis Models and Methods in Website Verification and Testing. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (ICWE, 2007)

SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (WCRE, 2008)

A verification framework for access control in dynamic web applications. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (C3S2E, 2009)

Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (ICST Workshops, 2009)

WAFA: Fine-grained dynamic analysis of web applications. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (WSE, 2009)

Modelling methods for web application verification and testing: state of the art. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (Softw. Test. Verification Reliab., 2009)

Automating Coverage Metrics for Dynamic Web Applications. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (CSMR, 2010)

Analyzing natural-language artifacts of the software process. - Maryam Hasan; Eleni Stroulia; Denilson Barbosa 001; Manar H. Alalfi (ICSM, 2010)

A Verification Framework for Access Control in Dynamic Web Applications. - Manar H. Alalfi (2010)

Towards a framework for migrating web applications to web services. - Asil A. Almonaies; Manar H. Alalfi; James R. Cordy; Thomas R. Dean (CASCON, 2011)

Models are code too: Near-miss clone detection for Simulink models. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean; Matthew Stephan; Andrew Stevenson (ICSM, 2012)

Recovering Role-Based Access Control Security Models from Dynamic Web Applications. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (ICWE, 2012)

Near-miss model clone detection for Simulink models. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean; Matthew Stephan; Andrew Stevenson (IWSC, 2012)

Towards qualitative comparison of Simulink model clone detection approaches. - Matthew Stephan; Manar H. Alalfi; Andrew Stevenson; James R. Cordy (IWSC, 2012)

Automated verification of role-based access control security models recovered from dynamic web applications. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (WSE, 2012)

Normalizing object-oriented class styles in JavaScript. - Widd Gama; Manar H. Alalfi; James R. Cordy; Thomas R. Dean (WSE, 2012)

Using mutation analysis for a model-clone detector comparison framework. - Matthew Stephan; Manar H. Alalfi; Andrew Stevenson; James R. Cordy (ICSE, 2013)

A Framework for Migrating Web Applications to Web Services. - Asil A. Almonaies; Manar H. Alalfi; James R. Cordy; Thomas R. Dean (ICWE, 2013)

Evolution of Model Clones in Simulink. - Matthew Stephan; Manar H. Alalfi; James R. Cordy; Andrew Stevenson (ME@MoDELS, 2013)

An approach to clone detection in behavioural models. - Elizabeth P. Antony; Manar H. Alalfi; James R. Cordy (WCRE, 2013)

Analysis and clustering of model clones: An automotive industrial experience. - Manar H. Alalfi; James R. Cordy; Thomas R. Dean (CSMR-WCRE, 2014)

Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models. - Manar H. Alalfi; Eric J. Rapos; Andrew Stevenson; Matthew Stephan; Thomas R. Dean; James R. Cordy (ICSME, 2014)

Towards a Taxonomy for Simulink Model Mutations. - Matthew Stephan; Manar H. Alalfi; James R. Cordy (ICST Workshops, 2014)

SimNav: Simulink navigation of model clone classes. - Eric J. Rapos; Andrew Stevenson; Manar H. Alalfi; James R. Cordy (SCAM, 2015)

Detecting Android Malware Using Clone Detection. - Jian Chen; Manar H. Alalfi; Thomas R. Dean; Ying Zou 001 (J. Comput. Sci. Technol., 2015)

Clone detection in MATLAB Stateflow models. - Jian Chen; Thomas R. Dean; Manar H. Alalfi (Softw. Qual. J., 2016)

Modeling AUTOSAR Implementations in Simulink. - Jian Chen; Manar H. Alalfi; Thomas R. Dean; S. Ramesh 002 (ECMFA, 2018)

An approach to clone detection in sequence diagrams and its application to security analysis. - Manar H. Alalfi; Elizabeth P. Antony; James R. Cordy (Softw. Syst. Model., 2018)

Variability Identification and Representation for Automotive Simulink Models. - Manar H. Alalfi; Eric J. Rapos; Andrew Stevenson; Matthew Stephan; Thomas R. Dean; James R. Cordy (Automotive Systems and Software Engineering, 2019)

Detection of feature interaction in dynamic scripting languages. - Omar A. Al Harthi; Manar H. Alalfi; Thomas R. Dean (CASCON, 2019)

A semi-automated framework for migrating web applications from SQL to document oriented NoSQL database. - Rahma S. Al Mahruqi; Manar H. Alalfi; Thomas R. Dean (CASCON, 2019)

Security analysis for SmartThings IoT applications. - Florian Schmeidl; Bara' Nazzal; Manar H. Alalfi (MOBILESoft@ICSE, 2019)

Automated Identification of Over-Privileged SmartThings Apps. - Atheer Abu Zaid; Manar H. Alalfi; Ali Miri (ICSME, 2019)

Security Smells in Smart Contracts. - Mehmet Demir; Manar H. Alalfi; Ozgur Turetken; Alexander Ferworn (QRS Companion, 2019)

A survey of security vulnerabilities in ethereum smart contracts. - Noama Fatima Samreen; Manar H. Alalfi (CASCON, 2020)

An Approach for the Identification of Information Leakage in Automotive Infotainment systems. - Abdul Moiz; Manar H. Alalfi (SCAM, 2020)

Identifying Vulnerable IoT Applications using Deep Learning. - Hajra Naeem; Manar H. Alalfi (SANER, 2020)

A Mutation Framework for Evaluating Security Analysis Tools in IoT Applications. - Sajeda Parveen; Manar H. Alalfi (SANER, 2020)

SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts. - Noama Fatima Samreen; Manar H. Alalfi (WETSEB@ICSE, 2021)

Reentrancy Vulnerability Identification in Ethereum Smart Contracts. - Noama Fatima Samreen; Manar H. Alalfi (CoRR, 2021)

A survey of security vulnerabilities in Android automotive apps. - Abdul Moiz; Manar H. Alalfi (EnCyCriS@ICSE, 2022)

Vulnerability Classification of Consumer-based IoT Software. - Bara' Nazzal; Atheer Abu Zaid; Manar H. Alalfi; Altaz Valani (SERP4IoT, 2022)

An Automated Approach for Privacy Leakage Identification in IoT Apps. - Bara' Nazzal; Manar H. Alalfi (IEEE Access, 2022)

VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis. - Noama Fatima Samreen; Manar H. Alalfi (CoRR, 2022)

Mining Domain Models in Ethereum DApps using Code Cloning. - Noama Fatima Samreen; Manar H. Alalfi (CoRR, 2022)

A Survey of Analysis Methods for Security and Safety verification in IoT Systems. - Lobna Abuserrieh; Manar H. Alalfi (CoRR, 2022)

A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems. - Atheer Abu Zaid; Manar H. Alalfi; Ali Miri (CoRR, 2022)

Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach. - Hajra Naeem; Manar H. Alalfi (Empir. Softw. Eng., 2022)

A mutation framework for evaluating security analysis tools in IoT applications. - Manar H. Alalfi; Sajeda Parveen; Bara' Nazzal (Softw. Test. Verification Reliab., 2022)

Security and Safety Verification in IoT Apps. - Lobna Abuserrieh; Manar H. Alalfi (ICSME, 2023)

Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques. - Sourena Khanzadeh; Noama Fatima Samreen; Manar H. Alalfi (QRS Companion, 2023)

Opti Code Pro: A Heuristic Search-based Approach to Code Refactoring. - Sourena Khanzadeh; Samad Alias Nyein Chan; Richard Valenzano; Manar H. Alalfi (CoRR, 2023)

SimSched: A tool for Simulating Autosar Implementaion in Simulink. - Jian Chen; Manar H. Alalfi; Thomas R. Dean; Ramesh S. 002 (CoRR, 2023)

A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems. - Manar H. Alalfi; Atheer Abu Zaid; Ali Miri (J. Object Technol., 2023)

Timed Model-Based Mutation Operators for Simulink Models. - Jian Chen; Manar H. Alalfi; Thomas R. Dean (ICSTW, 2024)

Machine Learning for Cross-Vulnerability Prediction in Smart Contracts. - Hajra Naeem; Manar H. Alalfi (ICSTW, 2024)

A Survey on the Verification and Validation of Artificial Pancreas Software Systems. - Bara' Nazzal; Manar H. Alalfi; James R. Cordy (ICSTW, 2024)

Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps. - Lobna Abuserrieh; Manar H. Alalfi (SERP4IoT, 2024)

SolOSphere: A Framework for Gas Optimization in Solidity Smart Contracts. - Sourena Khanzadeh; Manar H. Alalfi (SANER (Companion), 2024)

A Survey on Verification of Security and Safety in IoT Systems. - Lobna Abuserrieh; Manar H. Alalfi (IEEE Access, 2024)

IoT-SafeMod: Model-Driven Security and Safety for IoT Applications. - Lobna Abuserrieh; Manar H. Alalfi (SERP4IoT, 2025)

An exploratory study on domain knowledge infusion in deep learning for automated threat defense. - Sourena Khanzadeh; Euclides Carlos Pinto Neto; Shahrear Iqbal; Manar H. Alalfi; Scott Buffett (Int. J. Inf. Sec., 2025)

Correction: An exploratory study on domain knowledge infusion in deep learning for automated threat defense. - Sourena Khanzadeh; Euclides Carlos Pinto Neto; Shahrear Iqbal; Manar H. Alalfi; Scott Buffett (Int. J. Inf. Sec., 2025)