Manar H. Alalfi

79 papers A* 1A 5B 7C 3Journal 30Unranked 31

Year	Rank	Type	Title / 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