Manar H. Alalfi

79 papers A* 1A 5B 7C 3Journal 30Unranked 31
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cracking IoT Security: Can LLMs Outsmart Static Analysis Tools?
CoRR
Jason Quantrill, Noura Khajehnouri, Zihan Guo, Manar H. Alalfi
2026 J jnl
Cracking IoT security: can LLMs outsmart static analysis tools?
Empir. Softw. Eng.
Jason Quantrill, Noura Khajehnouri, Zihan Guo, Manar H. Alalfi
2025 C conf
A Modeling and Static Analysis Approach for the Verification of Privacy and Safety Properties in Kotlin Android Apps.
PST
Bara' Nazzal, Manar H. Alalfi, James R. Cordy
2025 J jnl
An exploratory study on domain knowledge infusion in deep learning for automated threat defense.
Int. J. Inf. Sec.
Sourena Khanzadeh, Euclides Carlos Pinto Neto, Shahrear Iqbal, Manar H. Alalfi, Scott Buffett
2025 J jnl
Correction: An exploratory study on domain knowledge infusion in deep learning for automated threat defense.
Int. J. Inf. Sec.
Sourena Khanzadeh, Euclides Carlos Pinto Neto, Shahrear Iqbal, Manar H. Alalfi, Scott Buffett
2025 J jnl
GitHub's Copilot Code Review: Can AI Spot Security Flaws Before You Commit?
CoRR
Amena Amro, Manar H. Alalfi
2025 — conf
IoT-SafeMod: Model-Driven Security and Safety for IoT Applications.
SERP4IoT
Lobna Abuserrieh, Manar H. Alalfi
2025 B conf
KASTroid: A Static Taint Analysis Framework for Kotlin-Based Android Applications.
COMPSAC
Bara' Nazzal, Manar H. Alalfi, James R. Cordy
2025 B conf
SmartTinkerer: Bridging Smart Home Testing Gaps with LLM, Digital Twin & Reinforcement Learning.
COMPSAC
Samad Alias Nyein Chan, Manar H. Alalfi
2025 J jnl
Taught by the Flawed: How Dataset Insecurity Breeds Vulnerable AI Code.
CoRR
Catherine Xia, Manar H. Alalfi
2025 B conf
oHIT - A framework for openHAB Interaction Threats Identification in IoT Systems.
COMPSAC
Jason Quantrill, Noura Khajehnouri, Manar H. Alalfi
2024 J jnl
A Survey on Verification of Security and Safety in IoT Systems.
IEEE Access
Lobna Abuserrieh, Manar H. Alalfi
2024 — conf
A Survey on the Verification and Validation of Artificial Pancreas Software Systems.
ICSTW
Bara' Nazzal, Manar H. Alalfi, James R. Cordy
2024 — conf
Machine Learning for Cross-Vulnerability Prediction in Smart Contracts.
ICSTW
Hajra Naeem, Manar H. Alalfi
2024 — conf
SolOSphere: A Framework for Gas Optimization in Solidity Smart Contracts.
SANER (Companion)
Sourena Khanzadeh, Manar H. Alalfi
2024 — conf
Timed Model-Based Mutation Operators for Simulink Models.
ICSTW
Jian Chen, Manar H. Alalfi, Thomas R. Dean
2024 — conf
Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps.
SERP4IoT
Lobna Abuserrieh, Manar H. Alalfi
2023 J jnl
A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems.
J. Object Technol.
Manar H. Alalfi, Atheer Abu Zaid, Ali Miri
2023 J jnl
Opti Code Pro: A Heuristic Search-based Approach to Code Refactoring.
CoRR
Sourena Khanzadeh, Samad Alias Nyein Chan, Richard Valenzano, Manar H. Alalfi
2023 — conf
Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques.
QRS Companion
Sourena Khanzadeh, Noama Fatima Samreen, Manar H. Alalfi
2023 A conf
Security and Safety Verification in IoT Apps.
ICSME
Lobna Abuserrieh, Manar H. Alalfi
2023 J jnl
SimSched: A tool for Simulating Autosar Implementaion in Simulink.
CoRR
Jian Chen, Manar H. Alalfi, Thomas R. Dean, Ramesh S.
2023 J jnl
Timed Model-Based Mutation Operators for Simulink Models.
CoRR
Jian Chen, Manar H. Alalfi, Thomas R. Dean
2022 J jnl
A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems.
CoRR
Atheer Abu Zaid, Manar H. Alalfi, Ali Miri
2022 J jnl
A Survey of Analysis Methods for Security and Safety verification in IoT Systems.
CoRR
Lobna Abuserrieh, Manar H. Alalfi
2022 J jnl
A mutation framework for evaluating security analysis tools in IoT applications.
Softw. Test. Verification Reliab.
Manar H. Alalfi, Sajeda Parveen, Bara' Nazzal
2022 — conf
A survey of security vulnerabilities in Android automotive apps.
EnCyCriS@ICSE
Abdul Moiz, Manar H. Alalfi
2022 J jnl
An Automated Approach for Privacy Leakage Identification in IoT Apps.
IEEE Access
Bara' Nazzal, Manar H. Alalfi
2022 J jnl
An Automated Approach for Privacy Leakage Identification in IoT Apps.
CoRR
Bara' Nazzal, Manar H. Alalfi
2022 J jnl
Mining Domain Models in Ethereum DApps using Code Cloning.
CoRR
Noama Fatima Samreen, Manar H. Alalfi
2022 J jnl
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach.
CoRR
Hajra Naeem, Manar H. Alalfi
2022 J jnl
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach.
Empir. Softw. Eng.
Hajra Naeem, Manar H. Alalfi
2022 J jnl
VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis.
CoRR
Noama Fatima Samreen, Manar H. Alalfi
2022 — conf
Vulnerability Classification of Consumer-based IoT Software.
SERP4IoT
Bara' Nazzal, Atheer Abu Zaid, Manar H. Alalfi, Altaz Valani
2021 J jnl
A Mutation Framework for Evaluating Security Analysis tools in IoT Applications.
CoRR
Manar H. Alalfi, Sajeda Parveen, Bara' Nazzal
2021 J jnl
A Survey of Security Vulnerabilities in Ethereum Smart Contracts.
CoRR
Noama Fatima Samreen, Manar H. Alalfi
2021 J jnl
Reentrancy Vulnerability Identification in Ethereum Smart Contracts.
CoRR
Noama Fatima Samreen, Manar H. Alalfi
2021 — conf
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts.
WETSEB@ICSE
Noama Fatima Samreen, Manar H. Alalfi
2021 J jnl
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts.
CoRR
Noama Fatima Samreen, Manar H. Alalfi
2020 A conf
A Mutation Framework for Evaluating Security Analysis Tools in IoT Applications.
SANER
Sajeda Parveen, Manar H. Alalfi
2020 — conf
A survey of security vulnerabilities in ethereum smart contracts.
CASCON
Noama Fatima Samreen, Manar H. Alalfi
2020 C conf
An Approach for the Identification of Information Leakage in Automotive Infotainment systems.
SCAM
Abdul Moiz, Manar H. Alalfi
2020 J jnl
An Approach for the Identification of Information Leakage in Automotive Infotainment systems.
CoRR
Abdul Moiz, Manar H. Alalfi
2020 A conf
Identifying Vulnerable IoT Applications using Deep Learning.
SANER
Hajra Naeem, Manar H. Alalfi
2019 — conf
A semi-automated framework for migrating web applications from SQL to document oriented NoSQL database.
CASCON
Rahma S. Al Mahruqi, Manar H. Alalfi, Thomas R. Dean
2019 A conf
Automated Identification of Over-Privileged SmartThings Apps.
ICSME
Atheer Abu Zaid, Manar H. Alalfi, Ali Miri
2019 — conf
Detection of feature interaction in dynamic scripting languages.
CASCON
Omar A. Al Harthi, Manar H. Alalfi, Thomas R. Dean
2019 — conf
Security Smells in Smart Contracts.
QRS Companion
Mehmet Demir, Manar H. Alalfi, Ozgur Turetken, Alexander Ferworn
2019 — conf
Security analysis for SmartThings IoT applications.
MOBILESoft@ICSE
Florian Schmeidl, Bara' Nazzal, Manar H. Alalfi
2019 — ch.
Variability Identification and Representation for Automotive Simulink Models.
Automotive Systems and Software Engineering
Manar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy
2018 J jnl
An approach to clone detection in sequence diagrams and its application to security analysis.
Softw. Syst. Model.
Manar H. Alalfi, Elizabeth P. Antony, James R. Cordy
2018 B conf
Modeling AUTOSAR Implementations in Simulink.
ECMFA
Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh
2016 J jnl
Clone detection in MATLAB Stateflow models.
Softw. Qual. J.
Jian Chen, Thomas R. Dean, Manar H. Alalfi
2015 J jnl
Detecting Android Malware Using Clone Detection.
J. Comput. Sci. Technol.
Jian Chen, Manar H. Alalfi, Thomas R. Dean, Ying Zou
2015 C conf
SimNav: Simulink navigation of model clone classes.
SCAM
Eric J. Rapos, Andrew Stevenson, Manar H. Alalfi, James R. Cordy
2014 — conf
Analysis and clustering of model clones: An automotive industrial experience.
CSMR-WCRE
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2014 J jnl
Clone Detection in Matlab Stateflow Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Thomas Roy Dean, Jian Chen, Manar H. Alalfi
2014 A conf
Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models.
ICSME
Manar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy
2014 — conf
Towards a Taxonomy for Simulink Model Mutations.
ICST Workshops
Matthew Stephan, Manar H. Alalfi, James R. Cordy
2013 B conf
A Framework for Migrating Web Applications to Web Services.
ICWE
Asil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2013 — conf
An approach to clone detection in behavioural models.
WCRE
Elizabeth P. Antony, Manar H. Alalfi, James R. Cordy
2013 — conf
Evolution of Model Clones in Simulink.
ME@MoDELS
Matthew Stephan, Manar H. Alalfi, James R. Cordy, Andrew Stevenson
2013 A* conf
Using mutation analysis for a model-clone detector comparison framework.
ICSE
Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy
2012 — conf
Automated verification of role-based access control security models recovered from dynamic web applications.
WSE
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2012 — conf
Models are code too: Near-miss clone detection for Simulink models.
ICSM
Manar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson
2012 — conf
Near-miss model clone detection for Simulink models.
IWSC
Manar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson
2012 — conf
Normalizing object-oriented class styles in JavaScript.
WSE
Widd Gama, Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2012 B conf
Recovering Role-Based Access Control Security Models from Dynamic Web Applications.
ICWE
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2012 — conf
Towards qualitative comparison of Simulink model clone detection approaches.
IWSC
Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy
2011 — conf
Towards a framework for migrating web applications to web services.
CASCON
Asil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2010 — —
A Verification Framework for Access Control in Dynamic Web Applications.
Manar H. Alalfi
2010 — conf
Analyzing natural-language artifacts of the software process.
ICSM
Maryam Hasan, Eleni Stroulia, Denilson Barbosa, Manar H. Alalfi
2010 — conf
Automating Coverage Metrics for Dynamic Web Applications.
CSMR
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2009 — conf
A verification framework for access control in dynamic web applications.
C3S2E
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2009 — conf
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications.
ICST Workshops
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2009 J jnl
Modelling methods for web application verification and testing: state of the art.
Softw. Test. Verification Reliab.
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2009 — conf
WAFA: Fine-grained dynamic analysis of web applications.
WSE
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2008 — conf
SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas.
WCRE
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2007 B conf
A Survey of Analysis Models and Methods in Website Verification and Testing.
ICWE
Manar H. Alalfi, James R. Cordy, Thomas R. Dean