Author

Manar H. Alalfi

Observed names: Alalfi, Manar, Alalfi, Manar H., M H Alalfi, Manar Alalfi, Manar H. Alafi

Institution: Toronto Metropolitan University

Observed institutions: University of Alberta, Queen's University, Queens University, Toronto Metropolitan University

ORCID: 0000-0003-4968-4127

Observed ORCIDs: 0000-0003-4968-4127, 0009-0002-7730-7126

OpenAlex ID: A5035833427

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

2012 · Manar H. Alalfi, James R. Cordy, et al. · Proceedings/Proceedings - Conference on Software Maintenance · 76

Detecting Android Malware Using Clone Detection

2015 · Jian Chen, Manar H. Alalfi, et al. · Journal of Computer Science and Technology · 59

Modelling methods for web application verification and testing: state of the art

2008 · Manar H. Alalfi, James R. Cordy, et al. · Software Testing Verification and Reliability · 46

Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications

2009 · Manar H. Alalfi, James R. Cordy, et al. · International Conference on Software Testing, Verification and Validation Workshops · 39

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

2008 · Manar H. Alalfi, James R. Cordy, et al. · Proceedings - Working Conference on Reverse Engineering · 33

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

2021 · Noama Fatima Samreen, Manar H. Alalfi · 32

PDF

Security Smells in Smart Contracts

2019 · Mehmet Demir, Manar Alalfi, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) · 28

WAFA: Fine-grained dynamic analysis of web applications

2009 · Manar H. Alalfi, James R. Cordy, et al. · IEEE International Symposium on Web Systems Evolution (WSE) · 28

Towards a Taxonomy for Simulink Model Mutations

2014 · Matthew Stephan, Manar H. Alalfi, et al. · IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · 23

Security Analysis for SmartThings IoT Applications

2019 · Florian Schmeidl, Bara Nazzal, et al. · IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) · 22

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

2012 · Manar H. Alalfi, James R. Cordy, et al. · Lecture notes in computer science · 21

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

2007 · Manar H. Alalfi, James R. Cordy, et al. · Springer eBooks · 21

An approach to clone detection in behavioural models

2013 · Elizabeth P. Antony, Manar H. Alalfi, et al. · Proceedings - Working Conference on Reverse Engineering · 19

Near-miss Model Clone Detection for Simulink Models

2013 · Manar H. Alalfi, James R. Cordy, et al. · 19

An empirical study on the complexity, security and maintainability of Ethereum-based decentralized applications (DApps)

2022 · Noama Fatima Samreen, Manar H. Alalfi · Blockchain Research and Applications · 18

PDF

A Survey of Security Vulnerabilities in Ethereum Smart Contracts

2021 · Samreen, Noama Fatima, Alalfi, Manar H. · arXiv (Cornell University) · 18

PDF

A survey of security vulnerabilities in Android automotive apps

2022 · Abdul Moiz, Manar H. Alalfi · 17

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

2012 · Manar H. Alalfi, James R. Cordy, et al. · IEEE International Symposium on Web Systems Evolution (WSE) · 16

Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models

2014 · Manar H. Alalfi, Eric J. Rapos, et al. · IEEE International Conference on Software Maintenance and Evolution (ICSME) · 15

Automating Coverage Metrics for Dynamic Web Applications

2010 · M H Alalfi, J R Cordy, et al. · Proceedings of the ... European Conference on Software Maintenance and Reengineering/Proceedings of the European Conference on Software Maintenance and Reengineering · 15

A Survey on Verification of Security and Safety in IoT Systems

2024 · Lobna Abuserrieh, Manar H. Alalfi · IEEE Access · 14

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

2023 · Sourena Khanzadeh, Noama Samreen, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) · 14

Clone detection in MATLAB Stateflow models

2015 · Jian Chen, Thomas R. Dean, et al. · Software Quality Journal · 14

Analysis and clustering of model clones: An automotive industrial experience

2014 · Manar H. Alalfi, James R. Cordy, et al. · 14

Using mutation analysis for a model-clone detector comparison framework

2013 · Matthew Stephan, Manar H. Alalfi, et al. · 14

Works count: 89

Citation count: 832

H-index: 17

I10-index: 32