Manar H. Alalfi

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 34

Top Venues

Queen's University at Kingston, Ontario, Canada (PHD)

Education History

Queen's University at Kingston, Ontario, Canada

PHD

Publications

Sourena Khanzadeh, Noama Fatima Samreen, Manar H. Alalfi
Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques. QRS Companion (2023)
Lobna Abuserrieh, Manar H. Alalfi
Security and Safety Verification in IoT Apps. ICSME (2023)
Manar H. Alalfi, Atheer Abu Zaid, Ali Miri
A Model-Driven-Reverse Engineering Approach for Detecting Privilege Escalation in IoT Systems. J. Object Technol. 22 (1) (2023)
Jian Chen, Manar H. Alalfi, Thomas R. Dean, Ramesh S
SimSched: A tool for Simulating Autosar Implementaion in Simulink. CoRR (2023)
Jian Chen, Manar H. Alalfi, Thomas R. Dean
Timed Model-Based Mutation Operators for Simulink Models. CoRR (2023)
Lobna Abuserrieh, Manar H. Alalfi
A Survey of Analysis Methods for Security and Safety verification in IoT Systems. CoRR (2022)
Bara' Nazzal, Manar H. Alalfi
An Automated Approach for Privacy Leakage Identification in IoT Apps. IEEE Access 10 (2022)
Abdul Moiz, Manar H. Alalfi
A survey of security vulnerabilities in Android automotive apps. EnCyCriS@ICSE (2022)
Hajra Naeem, Manar H. Alalfi
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach. CoRR (2022)
Hajra Naeem, Manar H. Alalfi
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach. Empir. Softw. Eng. 27 (6) (2022)
Atheer Abu Zaid, Manar H. Alalfi, Ali Miri
A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems. CoRR (2022)
Noama Fatima Samreen, Manar H. Alalfi
VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis. CoRR (2022)
Bara' Nazzal, Atheer Abu Zaid, Manar H. Alalfi, Altaz Valani
Vulnerability Classification of Consumer-based IoT Software. SERP4IoT (2022)
Manar H. Alalfi, Sajeda Parveen, Bara' Nazzal
A mutation framework for evaluating security analysis tools in IoT applications. Softw. Test. Verification Reliab. 32 (7) (2022)
Bara' Nazzal, Manar H. Alalfi
An Automated Approach for Privacy Leakage Identification in IoT Apps. CoRR (2022)
Noama Fatima Samreen, Manar H. Alalfi
Mining Domain Models in Ethereum DApps using Code Cloning. CoRR (2022)
Noama Fatima Samreen, Manar H. Alalfi
A Survey of Security Vulnerabilities in Ethereum Smart Contracts. CoRR (2021)
Noama Fatima Samreen, Manar H. Alalfi
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts. CoRR (2021)
Manar H. Alalfi, Sajeda Parveen, Bara' Nazzal
A Mutation Framework for Evaluating Security Analysis tools in IoT Applications. CoRR (2021)
Noama Fatima Samreen, Manar H. Alalfi
Reentrancy Vulnerability Identification in Ethereum Smart Contracts. CoRR (2021)
Noama Fatima Samreen, Manar H. Alalfi
SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts. WETSEB@ICSE (2021)
Sajeda Parveen, Manar H. Alalfi
A Mutation Framework for Evaluating Security Analysis Tools in IoT Applications. SANER (2020)
Hajra Naeem, Manar H. Alalfi
Identifying Vulnerable IoT Applications using Deep Learning. SANER (2020)
Noama Fatima Samreen, Manar H. Alalfi
A survey of security vulnerabilities in ethereum smart contracts. CASCON (2020)
Abdul Moiz, Manar H. Alalfi
An Approach for the Identification of Information Leakage in Automotive Infotainment systems. CoRR (2020)
Abdul Moiz, Manar H. Alalfi
An Approach for the Identification of Information Leakage in Automotive Infotainment systems. SCAM (2020)
Atheer Abu Zaid, Manar H. Alalfi, Ali Miri
Automated Identification of Over-Privileged SmartThings Apps. ICSME (2019)
Omar A. Al Harthi, Manar H. Alalfi, Thomas R. Dean
Detection of feature interaction in dynamic scripting languages. CASCON (2019)
Mehmet Demir, Manar H. Alalfi, Ozgur Turetken, Alexander Ferworn
Security Smells in Smart Contracts. QRS Companion (2019)
Florian Schmeidl, Bara' Nazzal, Manar H. Alalfi
Security analysis for SmartThings IoT applications. MOBILESoft@ICSE (2019)
Rahma S. Al Mahruqi, Manar H. Alalfi, Thomas R. Dean
A semi-automated framework for migrating web applications from SQL to document oriented NoSQL database. CASCON (2019)
Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh
Modeling AUTOSAR Implementations in Simulink. ECMFA (2018)
Manar H. Alalfi, Elizabeth P. Antony, James R. Cordy
An approach to clone detection in sequence diagrams and its application to security analysis. Softw. Syst. Model. 17 (4) (2018)
Jian Chen, Thomas R. Dean, Manar H. Alalfi
Clone detection in MATLAB Stateflow models. Softw. Qual. J. 24 (4) (2016)
Eric J. Rapos, Andrew Stevenson, Manar H. Alalfi, James R. Cordy
SimNav: Simulink navigation of model clone classes. SCAM (2015)
Jian Chen, Manar H. Alalfi, Thomas R. Dean, Ying Zou
Detecting Android Malware Using Clone Detection. J. Comput. Sci. Technol. 30 (5) (2015)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
Analysis and clustering of model clones: An automotive industrial experience. CSMR-WCRE (2014)
Thomas Roy Dean, Jian Chen, Manar H. Alalfi
Clone Detection in Matlab Stateflow Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 63 (2014)
Manar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy
Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models. ICSME (2014)
Matthew Stephan, Manar H. Alalfi, James R. Cordy
Towards a Taxonomy for Simulink Model Mutations. ICST Workshops (2014)
Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy
Using mutation analysis for a model-clone detector comparison framework. ICSE (2013)
Asil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean
A Framework for Migrating Web Applications to Web Services. ICWE (2013)
Matthew Stephan, Manar H. Alalfi, James R. Cordy, Andrew Stevenson
Evolution of Model Clones in Simulink. ME@MoDELS (2013)
Elizabeth P. Antony, Manar H. Alalfi, James R. Cordy
An approach to clone detection in behavioural models. WCRE (2013)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson
Near-miss model clone detection for Simulink models. IWSC (2012)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
Automated verification of role-based access control security models recovered from dynamic web applications. WSE (2012)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
Recovering Role-Based Access Control Security Models from Dynamic Web Applications. ICWE (2012)
Widd Gama, Manar H. Alalfi, James R. Cordy, Thomas R. Dean
Normalizing object-oriented class styles in JavaScript. WSE (2012)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson
Models are code too: Near-miss clone detection for Simulink models. ICSM (2012)
Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy
Towards qualitative comparison of Simulink model clone detection approaches. IWSC (2012)
Asil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean
Towards a framework for migrating web applications to web services. CASCON (2011)
Maryam Hasan, Eleni Stroulia, Denilson Barbosa, Manar H. Alalfi
Analyzing natural-language artifacts of the software process. ICSM (2010)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
Automating Coverage Metrics for Dynamic Web Applications. CSMR (2010)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
Modelling methods for web application verification and testing: state of the art. Softw. Test. Verification Reliab. 19 (4) (2009)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
WAFA: Fine-grained dynamic analysis of web applications. WSE (2009)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications. ICST Workshops (2009)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
A verification framework for access control in dynamic web applications. C3S2E (2009)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas. WCRE (2008)
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
A Survey of Analysis Models and Methods in Website Verification and Testing. ICWE (2007)

Manar H. Alalfi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manar H. Alalfi