Behavioral modeling and formal verification of a resource discovery approach in Grid computing. - Alireza Souri; Nima Jafari Navimipour (Expert Syst. Appl., 2014)

Formal Specification and Verification of a Data Replication Approach in Distributed Systems. - Alireza Souri (Int. J. Next Gener. Comput., 2016)

A Data Mining Classification Approach for Behavioral Malware Detection. - Monire Norouzi; Alireza Souri; Majid Samad SamadZamini (J. Comput. Networks Commun., 2016)

Software as a service based CRM providers in the cloud computing: Challenges and technical issues. - Alireza Souri; Parvaneh Asghari; Reza Rezaei (J. Serv. Sci. Res., 2017)

An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing. - Bahman Keshanchi; Alireza Souri; Nima Jafari Navimipour (J. Syst. Softw., 2017)

Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review. - Alireza Souri; Nima Jafari Navimipour; Amir Masoud Rahmani (Comput. Stand. Interfaces, 2018)

A state-of-the-art survey of malware detection approaches using data mining techniques. - Alireza Souri; Rahil Hosseini (Hum. centric Comput. Inf. Sci., 2018)

Personality classification based on profiles of social networks' users and the five-factor model of personality. - Alireza Souri; Shafigheh Hosseinpour; Amir Masoud Rahmani (Hum. centric Comput. Inf. Sci., 2018)

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research. - Alireza Souri; Amir Masoud Rahmani; Nima Jafari Navimipour (Int. J. Commun. Syst., 2018)

A moth-flame optimization algorithm for web service composition in cloud computing: Simulation and verification. - Mostafa Ghobaei-Arani; Ali Asghar Rahmanian; Alireza Souri; Amir Masoud Rahmani (Softw. Pract. Exp., 2018)

ControCity: An Autonomous Approach for Controlling Elasticity Using Buffer Management in Cloud Computing Environment. - Mostafa Ghobaei-Arani; Alireza Souri; Thar Baker; Aseel Hussien (IEEE Access, 2019)

A symbolic model checking approach in formal verification of distributed systems. - Alireza Souri; Amir Masoud Rahmani; Nima Jafari Navimipour; Reza Rezaei (Hum. centric Comput. Inf. Sci., 2019)

Multiobjective virtual machine placement mechanisms using nature-inspired metaheuristic algorithms in cloud environments: A comprehensive review. - Nasim Donyagard Vahed; Mostafa Ghobaei-Arani; Alireza Souri (Int. J. Commun. Syst., 2019)

A weighted resource discovery approach in grid computing. - Saeed Sabamoniri; Alireza Souri (Int. J. Pervasive Comput. Commun., 2019)

Formal modeling and verification of a service composition approach in the social customer relationship management system. - Alireza Souri; Amir Masoud Rahmani; Nima Jafari Navimipour; Reza Rezaei (Inf. Technol. People, 2019)

A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications. - Alireza Souri; Monire Norouzi (J. Serv. Sci. Res., 2019)

A model checking approach for user relationship management in the social network. - Alireza Souri; Monire Norouzi; Amir Masoud Rahmani; Nima Jafari Navimipour (Kybernetes, 2019)

LP-WSC: a linear programming approach for web service composition in geographically distributed cloud environments. - Mostafa Ghobaei-Arani; Alireza Souri (J. Supercomput., 2019)

A Hybrid Service Selection and Composition Model for Cloud-Edge Computing in the Internet of Things. - Mehdi Hosseinzadeh 001; Quan Thanh Tho; Saqib Ali; Amir Masoud Rahmani; Alireza Souri; Monire Norouzi; Bao Huynh (IEEE Access, 2020)

An Author Gender Detection Method Using Whale Optimization Algorithm and Artificial Neural Network. - Fatemeh Safara; Amin Salih Mohammed; Moayad Yousif Potrus; Saqib Ali; Quan Thanh Tho; Alireza Souri; Fereshteh Janenia; Mehdi Hosseinzadeh 001 (IEEE Access, 2020)

Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications. - Alireza Souri; Amin Salih Mohammed; Moayad Yousif Potrus; Mazhar Hussain Malik; Fatemeh Safara; Mehdi Hosseinzadeh 001 (IEEE Access, 2020)

A hybrid formal verification approach for QoS-aware multi-cloud service composition. - Alireza Souri; Amir Masoud Rahmani; Nima Jafari Navimipour; Reza Rezaei (Clust. Comput., 2020)

An efficient task scheduling approach using moth-flame optimization algorithm for cyber-physical system applications in fog computing. - Mostafa Ghobaei-Arani; Alireza Souri; Fatemeh Safara; Monire Norouzi (Trans. Emerg. Telecommun. Technol., 2020)

A systematic literature review on formal verification of software-defined networks. - Alireza Souri; Monire Norouzi; Parvaneh Asghari; Amir Masoud Rahmani; Ghazaleh Emadi (Trans. Emerg. Telecommun. Technol., 2020)

Resource Management Approaches in Fog Computing: a Comprehensive Review. - Mostafa Ghobaei-Arani; Alireza Souri; Ali A. Rahmanian (J. Grid Comput., 2020)

Multi valued parity generator based on Sudoku tables: properties and detection probability. - Shahab Ghalamdoost Pirbazari; Alireza Souri; Reza Faghih Mirzaee; Sam Jabbehdari (IET Commun., 2020)

Improved intrusion detection method for communication networks using association rule mining and artificial neural networks. - Fatemeh Safara; Alireza Souri; Masoud Serrizadeh (IET Commun., 2020)

Super peer selection strategy in peer-to-peer networks based on learning automata. - Fatemeh Safara; Alireza Souri; Sara Fathipour Deiman (Int. J. Commun. Syst., 2020)

A new machine learning-based healthcare monitoring model for student's condition diagnosis in Internet of Things environment. - Alireza Souri; Marwan Yassin Ghafour; Aram Mahmood Ahmed; Fatemeh Safara; Ali Yamini; Mahdi Hoseyninezhad (Soft Comput., 2020)

PriNergy: a priority-based energy-efficient routing method for IoT systems. - Fatemeh Safara; Alireza Souri; Thar Baker; Ismaeel Al Ridhawi; Moayad Aloqaily (J. Supercomput., 2020)

Hyper-parameter tuned light gradient boosting machine using memetic firefly algorithm for hand gesture recognition. - Janmenjoy Nayak; Bighnaraj Naik; Pandit Byomakesha Dash; Alireza Souri; Vimal Shanmuganathan (Appl. Soft Comput., 2021)

Towards decision support systems for energy management in the smart industry and Internet of Things. - Jiwen Li; Jiapeng Dai; Alibek Issakhov; Sattam Fahad Almojil; Alireza Souri (Comput. Ind. Eng., 2021)

Event-driven IoT architecture for data analysis of reliable healthcare application using complex event processing. - Amir Masoud Rahmani; Zahra Babaei; Alireza Souri (Clust. Comput., 2021)

Energy management solutions in the Internet of Things applications: Technical analysis and new research directions. - Dayu Wang; Daojun Zhong; Alireza Souri (Cogn. Syst. Res., 2021)

A Technical Report for Light-Edge: A Lightweight Authentication Protocol for IoT Devices in an Edge-Cloud Environment. - Ali Shahidinejad; Mostafa Ghobaei-Arani; Alireza Souri; Mohammad Shojafar; Saru Kumari (CoRR, 2021)

Privacy-aware resource management solutions in Internet of Things. - Alireza Souri; Saru Kumari; Mohamed Elhoseny (Trans. Emerg. Telecommun. Technol., 2021)

AI-enabled learning techniques for Internet of Things communications. - Alireza Souri; Mu-Yen Chen (J. High Speed Networks, 2021)

A diagnostic prediction model for chronic kidney disease in internet of things platform. - Mehdi Hosseinzadeh 001; Jalil Koohpayehzadeh; Ahmed Omar Bali; Parvaneh Asghari; Alireza Souri; Ali Mazaherinezhad; Mahdi Bohlouli; Reza Rawassizadeh (Multim. Tools Appl., 2021)

Guest Editorial: Intelligent solutions for green computing in internet of medical things. - Alireza Souri; Vincenzo Piuri; Mu-Yen Chen (Netw. Model. Anal. Health Informatics Bioinform., 2021)

A review on diagnostic autism spectrum disorder approaches based on the Internet of Things and Machine Learning. - Mehdi Hosseinzadeh 001; Jalil Koohpayehzadeh; Ahmed Omar Bali; Farnoosh Afshin Rad; Alireza Souri; Ali Mazaherinezhad; Aziz Rezapour; Mahdi Bohlouli (J. Supercomput., 2021)

IoBCT: A Brain Computer Interface using EEG Signals for Controlling IoT Devices. - Eyhab Al-Masri; Ankit Singh; Alireza Souri (ICKII, 2022)

Light-Edge: A Lightweight Authentication Protocol for IoT Devices in an Edge-Cloud Environment. - Ali Shahidinejad; Mostafa Ghobaei-Arani; Alireza Souri; Mohammad Shojafar; Saru Kumari (IEEE Consumer Electron. Mag., 2022)

Blockchain as a service models in the Internet of Things management: Systematic review. - Daming Li 001; Lianbing Deng; Zhiming Cai; Alireza Souri (Trans. Emerg. Telecommun. Technol., 2022)

A systematic review of IoT communication strategies for an efficient smart environment. - Alireza Souri; Aseel Hussien; Mahdi Hoseyninezhad; Monire Norouzi (Trans. Emerg. Telecommun. Technol., 2022)

Green energy-efficient computing solutions in Internet of Things communications. - Alireza Souri; Vincenzo Piuri; Mohammad Shojafar; Eyhab Al-Masri; Saru Kumari (Int. J. Commun. Syst., 2022)

Artificial intelligence mechanisms for management of QoS-aware connectivity in Internet of vehicles. - Alireza Souri (J. High Speed Networks, 2022)

Computational Intelligence Methods for Smart Connectivity in IoT. - Alireza Souri; Mu-Yen Chen; Nima Jafari Navimipour (J. Interconnect. Networks, 2022)

An auto-scaling mechanism for cloud-based multimedia storage systems: a fuzzy-based elastic controller. - Mostafa Ghobaei-Arani; Maryam Rezaei; Alireza Souri (Multim. Tools Appl., 2022)

Cloud manufacturing service composition in IoT applications: a formal verification-based approach. - Alireza Souri; Mostafa Ghobaei-Arani (Multim. Tools Appl., 2022)

Software-defined network aided lightweight group key management for resource-constrained Internet of Things devices. - Antony Taurshia; G. Jaspher Willsie Kathrine; Alireza Souri; S. E. Vinodh; S. Vimal 001; Kuan-Ching Li; S. Sudhakar Ilango (Sustain. Comput. Informatics Syst., 2022)

Arabic Handwritten Word Recognition Based on Stationary Wavelet Transform Technique using Machine Learning. - Atallah AL-Shatnawi; Faisal Al-Saqqar; Alireza Souri (ACM Trans. Asian Low Resour. Lang. Inf. Process., 2022)

A Blockchain-Based Auditable Access Control System for Private Data in Service-Centric IoT Environments. - Dezhi Han; Yujie Zhu; Dun Li; Wei Liang 005; Alireza Souri; Kuan-Ching Li (IEEE Trans. Ind. Informatics, 2022)

Extreme learning machine and bayesian optimization-driven intelligent framework for IoMT cyber-attack detection. - Janmenjoy Nayak; Saroj K. Meher; Alireza Souri; Bighnaraj Naik; S. Vimal 001 (J. Supercomput., 2022)

Fairness constraint efficiency optimization for multiresource allocation in a cluster system serving internet of things. - ShaoMiao Chen; Ce Yang; Weihong Huang; Wei Liang 005; Nai Ke; Alireza Souri; Kuan-Ching Li (Int. J. Commun. Syst., 2023)

An evolutive framework for server placement optimization to digital twin networks. - Lijun Xiao; Dezhi Han; Tien-Hsiung Weng; Shaomiao Chen; Han Deng; Alireza Souri; Kuan-Ching Li (Int. J. Commun. Syst., 2023)

Data augmentation using fast converging CIELAB-GAN for efficient deep learning dataset generation. - Amin Fadaeddini; Babak Majidi; Alireza Souri; Mohammad Eshghi (Int. J. Comput. Sci. Eng., 2023)

An elderly health monitoring system based on biological and behavioral indicators in internet of things. - Mehdi Hosseinzadeh 001; Jalil Koohpayehzadeh; Marwan Yassin Ghafour; Aram Mahmood Ahmed; Parvaneh Asghari; Alireza Souri; Hamid Pourasghari; Aziz Rezapour (J. Ambient Intell. Humaniz. Comput., 2023)

Blockchain-based internet of vehicles (BIoV): A systematic review of surveys and reviews. - Atefeh Hemmati; Mani Zarei; Alireza Souri (Secur. Priv., 2023)

Blockchain architecture and methodologies for internet of things environment. - Alireza Souri; Eyhab Al-Masri; Saru Kumari (Secur. Priv., 2023)

Directed Search: A New Operator in NSGA-II for Task Scheduling in IoT Based on Cloud-Fog Computing. - Soghra Mousavi; Sepehr Ebrahimi Mood; Alireza Souri; Mohammad Masoud Javidi (IEEE Trans. Cloud Comput., 2023)

Light gradient boosting machine with optimized hyperparameters for identification of malicious access in IoT network. - Debasmita Mishra; Bighnaraj Naik; Janmenjoy Nayak; Alireza Souri; Pandit Byomakesha Dash; S. Vimal 001 (Digit. Commun. Networks, 2023)

An attentive hierarchy ConvNet for crowd counting in smart city. - Wenzhe Zhai; Mingliang Gao 001; Alireza Souri; Qilei Li; Xiangyu Guo; Jianrun Shang; Guofeng Zou (Clust. Comput., 2023)

UAV-based Internet of Vehicles: A systematic literature review. - Atefeh Hemmati; Mani Zarei; Alireza Souri (Intell. Syst. Appl., 2023)

Introduction to the Special Section on Internet of Behavior for Emerging Technologies. - Mu-Yen Chen; Vincenzo Piuri; Alireza Souri; Mohammad Shojafar (ACM Trans. Sens. Networks, 2023)

IdenMultiSig: Identity-Based Decentralized Multi-Signature in Internet of Things. - Han Liu 009; Dezhi Han; Mingming Cui; Kuan-Ching Li; Alireza Souri; Mohammad Shojafar (IEEE Trans. Comput. Soc. Syst., 2023)

Spatial-Temporal Aware Inductive Graph Neural Network for C-ITS Data Recovery. - Wei Liang 005; Yuhui Li; Kun Xie 001; Dafang Zhang 001; Kuan-Ching Li; Alireza Souri; Keqin Li 001 (IEEE Trans. Intell. Transp. Syst., 2023)

Energy-efficient cooperative resource allocation and task scheduling for Internet of Things environments. - Eyhab Al-Masri; Alireza Souri; Habiba Mohamed; Wenjun Yang; James Olmsted; Olivera Kotevska (Internet Things, 2023)

LSTM-based Deep Learning Model for Cyber-attack Detection Systems in the Internet of Drones. - Sami Abou El Faouz; Alireza Souri; Nihat Inanç (ICCCNT, 2024)

Corrections to "An Author Gender Detection Method Using Whale Optimization Algorithm and Artificial Neural Network". - Fatemeh Safara; Amin Salih Mohammed; Moayad Yousif Potrus; Saqib Ali; Quan Thanh Tho; Alireza Souri; Fereshteh Janenia; Mehdi Hosseinzadeh 001 (IEEE Access, 2024)

A comprehensive analysis for crowd counting methodologies and algorithms in Internet of Things. - Mingliang Gao 001; Alireza Souri; Mayram Zaker; Wenzhe Zhai; Xiangyu Guo; Qilei Li (Clust. Comput., 2024)

A systematic literature review of vehicular connectivity and V2X communications: Technical aspects and new challenges. - Alireza Souri; Mani Zarei; Atefeh Hemmati; Mingliang Gao 001 (Int. J. Commun. Syst., 2024)

An improved blind/referenceless image spatial quality evaluator algorithm for image quality assessment. - Xuesong Li; Jinfeng Pan; Jianrun Shang; Alireza Souri; Mingliang Gao 001 (Int. J. Comput. Sci. Eng., 2024)

Optimized neural network models for low power elderly monitoring system in Internet of things. - Raqibul Hasan; Alireza Souri (J. High Speed Networks, 2024)

Star-Quake: A New Operator in Multi-Objective Gravitational Search Algorithm for Task Scheduling in IoT-Based Cloud-Fog Computing System. - Jamal Zarepour-Ahmadabadi; Sepehr Ebrahimi Mood; Alireza Souri (IEEE Trans. Consumer Electron., 2024)

Blockchain technology for energy-aware mobile crowd sensing approaches in Internet of Things. - Sisi Zhu; Alireza Souri (Trans. Emerg. Telecommun. Technol., 2024)

A new cloud-based cyber-attack detection architecture for hyper-automation process in industrial internet of things. - Alireza Souri; Monire Norouzi; Yousef Alsenani (Clust. Comput., 2024)

A Trust-Aware and Authentication-Based Collaborative Method for Resource Management of Cloud-Edge Computing in Social Internet of Things. - Alireza Souri; Yanlei Zhao; Mingliang Gao 001; Asghar Mohammadian; Jin Shen; Eyhab Al-Masri (IEEE Trans. Comput. Soc. Syst., 2024)

Tournament based equilibrium optimization for minimizing energy consumption on dynamic task scheduling in cloud-edge computing. - Alireza Souri; Sepehr Ebrahimi Mood; Mingliang Gao 001; Kuan-Ching Li (Clust. Comput., 2024)

A hybrid intrusion detection approach based on message queuing telemetry transport (MQTT) protocol in industrial internet of things. - Georg Thamer Francis; Alireza Souri; Nihat Inanç (Trans. Emerg. Telecommun. Technol., 2024)

Cloud-based disaster management architecture using hybrid machine learning approach in IoT. - Figen Özen; Alireza Souri (Multim. Tools Appl., 2024)

Deep Learning Algorithms for Autonomous Vehicle Communications: Technical Insights and Open Challenges. - Majd Alkorabi; Alireza Souri; Nihat Inanç (Concurr. Comput. Pract. Exp., 2025)

Enhancing the Harris Hawks Optimization Algorithm With Ambush-Based Operators for Feature Selection in UAV-Based Intrusion Detection Systems. - Sayed Zabihullah Musawi; Mohammad Farshi; Sepehr Ebrahimi Mood; Alireza Souri (Concurr. Comput. Pract. Exp., 2025)

Neurodegenerative disorders: A Holistic study of the explainable artificial intelligence applications. - Hongyuan Wang; Shiva Toumaj; Arash Heidari; Alireza Souri; Nima Jafari; Yiping Jiang (Eng. Appl. Artif. Intell., 2025)

Ensemble-based classification algorithm to enhance stability of energy management in IoT-based smart grid networks. - Monire Norouzi; Zafer Utlu; Salaheddine Bendak; Alireza Souri (Int. J. Embed. Syst., 2025)

A hybrid firefly-based attribute selection and split-point mechanism for securing software-defined industrial Internet of Things. - Georg Thamer Francis; Alireza Souri; Nihat Inanç (J. High Speed Networks, 2025)

Triangle-induced and degree-wise sampling over large graphs in social networks. - Elaheh Gavagsaz; Alireza Souri (J. Supercomput., 2025)

An optimized intrusion detection system for resource-constrained IoMT environments: enhancing security through efficient feature selection and classification. - Arash Salehpour; Mohammad Ali Balafar; Alireza Souri (J. Supercomput., 2025)

CEEO: an innovative Coulomb-enhanced Equilibrium Optimizer for task scheduling of cloud services in IoT environments. - Sepehr Ebrahimi Mood; Alireza Souri; Nihat Inanç; Kuan-Ching Li (Computing, 2025)