Manar H. Alalfi

According to our database, Manar H. Alalfi authored at least 60 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Survey on Verification of Security and Safety in IoT Systems.

Lobna Abuserrieh, Manar H. Alalfi

IEEE Access, 2024

SolOSphere: A Framework for Gas Optimization in Solidity Smart Contracts.

Sourena Khanzadeh, Manar H. Alalfi

Proceedings of the IEEE International Conference on Software Analysis, 2024

Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps.

Lobna Abuserrieh, Manar H. Alalfi

Proceedings of the 6th IEEE/ACM International Workshop on Software Engineering Research & Practices for the IoT, 2024

A Survey on the Verification and Validation of Artificial Pancreas Software Systems.

Bara' Nazzal, Manar H. Alalfi, James R. Cordy

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

Machine Learning for Cross-Vulnerability Prediction in Smart Contracts.

Hajra Naeem, Manar H. Alalfi

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

Timed Model-Based Mutation Operators for Simulink Models.

Jian Chen, Manar H. Alalfi, Thomas R. Dean

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

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

SimSched: A tool for Simulating Autosar Implementaion in Simulink.

Jian Chen, Manar H. Alalfi, Thomas R. Dean, Ramesh S.

CoRR, 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

Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques.

Sourena Khanzadeh, Noama Fatima Samreen, Manar H. Alalfi

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Security and Safety Verification in IoT Apps.

Lobna Abuserrieh, Manar H. Alalfi

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

2022

A mutation framework for evaluating security analysis tools in IoT applications.

Manar H. Alalfi, Sajeda Parveen, Bara' Nazzal

Softw. Test. Verification Reliab., 2022

Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach.

Hajra Naeem, Manar H. Alalfi

Empir. Softw. Eng., 2022

A Model-Driven-Engineering Approach for Detecting Privilege Escalation in IoT Systems.

Atheer Abu Zaid, Manar H. Alalfi, Ali Miri

CoRR, 2022

A Survey of Analysis Methods for Security and Safety verification in IoT Systems.

Lobna Abuserrieh, Manar H. Alalfi

CoRR, 2022

Mining Domain Models in Ethereum DApps using Code Cloning.

Noama Fatima Samreen, Manar H. Alalfi

CoRR, 2022

VOLCANO: Detecting Vulnerabilities of Ethereum Smart Contracts Using Code Clone Analysis.

Noama Fatima Samreen, Manar H. Alalfi

CoRR, 2022

An Automated Approach for Privacy Leakage Identification in IoT Apps.

Bara' Nazzal, Manar H. Alalfi

IEEE Access, 2022

Vulnerability Classification of Consumer-based IoT Software.

Bara' Nazzal, Atheer Abu Zaid, Manar H. Alalfi, Altaz Valani

Proceedings of the 4th IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT, 2022

A survey of security vulnerabilities in Android automotive apps.

Abdul Moiz, Manar H. Alalfi

Proceedings of the 3rd International Workshop on Engineering and Cybersecurity of Critical Systems, 2022

2021

Reentrancy Vulnerability Identification in Ethereum Smart Contracts.

Noama Fatima Samreen, Manar H. Alalfi

CoRR, 2021

SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts.

Noama Fatima Samreen, Manar H. Alalfi

Proceedings of the 4th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2021

2020

A Mutation Framework for Evaluating Security Analysis Tools in IoT Applications.

Sajeda Parveen, Manar H. Alalfi

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Identifying Vulnerable IoT Applications using Deep Learning.

Hajra Naeem, Manar H. Alalfi

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

An Approach for the Identification of Information Leakage in Automotive Infotainment systems.

Abdul Moiz, Manar H. Alalfi

Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation, 2020

A survey of security vulnerabilities in ethereum smart contracts.

Noama Fatima Samreen, Manar H. Alalfi

Proceedings of the CASCON '20: Proceedings of the 30th Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 10, 2020

2019

Security Smells in Smart Contracts.

Mehmet Demir, Manar H. Alalfi, Ozgur Turetken, Alexander Ferworn

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Automated Identification of Over-Privileged SmartThings Apps.

Atheer Abu Zaid, Manar H. Alalfi, Ali Miri

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Security analysis for SmartThings IoT applications.

Florian Schmeidl, Bara' Nazzal, Manar H. Alalfi

Proceedings of the 6th International Conference on Mobile Software Engineering and Systems, 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

Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

Detection of feature interaction in dynamic scripting languages.

Omar A. Al Harthi, Manar H. Alalfi, Thomas R. Dean

Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

Variability Identification and Representation for Automotive Simulink Models.

Manar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy

Proceedings of the Automotive Systems and Software Engineering, 2019

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

Modeling AUTOSAR Implementations in Simulink.

Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2016

Clone detection in MATLAB Stateflow models.

Jian Chen, Thomas R. Dean, Manar H. Alalfi

Softw. Qual. J., 2016

2015

Detecting Android Malware Using Clone Detection.

Jian Chen, Manar H. Alalfi, Thomas R. Dean, Ying Zou

J. Comput. Sci. Technol., 2015

SimNav: Simulink navigation of model clone classes.

Eric J. Rapos, Andrew Stevenson, Manar H. Alalfi, James R. Cordy

Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

2014

Towards a Taxonomy for Simulink Model Mutations.

Matthew Stephan, Manar H. Alalfi, James R. Cordy

Proceedings of the Seventh IEEE International Conference on Software Testing, 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

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Analysis and clustering of model clones: An automotive industrial experience.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the 2014 Software Evolution Week, 2014

2013

An approach to clone detection in behavioural models.

Elizabeth P. Antony, Manar H. Alalfi, James R. Cordy

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Evolution of Model Clones in Simulink.

Matthew Stephan, Manar H. Alalfi, James R. Cordy, Andrew Stevenson

Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

A Framework for Migrating Web Applications to Web Services.

Asil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the Web Engineering - 13th International Conference, 2013

Using mutation analysis for a model-clone detector comparison framework.

Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Normalizing object-oriented class styles in JavaScript.

Widd Gama, Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Automated verification of role-based access control security models recovered from dynamic web applications.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Towards qualitative comparison of Simulink model clone detection approaches.

Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy

Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Near-miss model clone detection for Simulink models.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson

Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Recovering Role-Based Access Control Security Models from Dynamic Web Applications.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the Web Engineering - 12th International Conference, 2012

Models are code too: Near-miss clone detection for Simulink models.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011

Towards a framework for migrating web applications to web services.

Asil A. Almonaies, Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010

A Verification Framework for Access Control in Dynamic Web Applications.

Manar H. Alalfi

PhD thesis, 2010

Analyzing natural-language artifacts of the software process.

Maryam Hasan, Eleni Stroulia, Denilson Barbosa, Manar H. Alalfi

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Automating Coverage Metrics for Dynamic Web Applications.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

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

WAFA: Fine-grained dynamic analysis of web applications.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the 11th IEEE International Symposium on Web Systems Evolution, 2009

Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

A verification framework for access control in dynamic web applications.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2009

2008

SQL2XMI: Reverse Engineering of UML-ER Diagrams from Relational Database Schemas.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the WCRE 2008, 2008

2007

A Survey of Analysis Models and Methods in Website Verification and Testing.

Manar H. Alalfi, James R. Cordy, Thomas R. Dean

Proceedings of the Web Engineering, 7th International Conference, 2007