Alireza Souri

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 71

Top Topics

Formal Verification

Resource Management

Cloud Computing

Service Composition

Top Venues

Trans. Emerg. Telecommun. Technol.

Int. J. Commun. Syst.

J. Supercomput.

Publications

Alireza Souri, Mani Zarei, Atefeh Hemmati, Mingliang Gao
A systematic literature review of vehicular connectivity and V2X communications: Technical aspects and new challenges. Int. J. Commun. Syst. 37 (10) (2024)
Alireza Souri, Yanlei Zhao, Mingliang Gao, Asghar Mohammadian, Jin Shen, Eyhab Al-Masri
A Trust-Aware and Authentication-Based Collaborative Method for Resource Management of Cloud-Edge Computing in Social Internet of Things. IEEE Trans. Comput. Soc. Syst. 11 (4) (2024)
Alireza Souri, Monire Norouzi, Yousef Alsenani
A new cloud-based cyber-attack detection architecture for hyper-automation process in industrial internet of things. Clust. Comput. 27 (3) (2024)
Xuesong Li, Jinfeng Pan, Jianrun Shang, Alireza Souri, Mingliang Gao
An improved blind/referenceless image spatial quality evaluator algorithm for image quality assessment. Int. J. Comput. Sci. Eng. 27 (1) (2024)
Jamal Zarepour Ahmadabadi, Sepehr Ebrahimi Mood, Alireza Souri
Star-Quake: A New Operator in Multi-Objective Gravitational Search Algorithm for Task Scheduling in IoT-Based Cloud-Fog Computing System. IEEE Trans. Consumer Electron. 70 (1) (2024)
Sisi Zhu, Alireza Souri
Blockchain technology for energy-aware mobile crowd sensing approaches in Internet of Things. Trans. Emerg. Telecommun. Technol. 35 (4) (2024)
Eyhab Al-Masri, Alireza Souri, Habiba Mohamed, Wenjun Yang, James Olmsted, Olivera Kotevska
Energy-efficient cooperative resource allocation and task scheduling for Internet of Things environments. Internet Things 23 (2023)
Mu-Yen Chen, Vincenzo Piuri, Alireza Souri, Mohammad Shojafar
Introduction to the Special Section on Internet of Behavior for Emerging Technologies. ACM Trans. Sens. Networks 19 (2) (2023)
Wei Liang, Yuhui Li, Kun Xie, Dafang Zhang, Kuan-Ching Li, Alireza Souri, Keqin Li
Spatial-Temporal Aware Inductive Graph Neural Network for C-ITS Data Recovery. IEEE Trans. Intell. Transp. Syst. 24 (8) (2023)
Wenzhe Zhai, Mingliang Gao, Alireza Souri, Qilei Li, Xiangyu Guo, Jianrun Shang, Guofeng Zou
An attentive hierarchy ConvNet for crowd counting in smart city. Clust. Comput. 26 (2) (2023)
Mehdi Hosseinzadeh, Jalil Koohpayehzadeh, Marwan Yassin Ghafour, Aram Mahmood Ahmed, Parvaneh Asghari, Alireza Souri, Hamid Pourasghari, Aziz Rezapour
An elderly health monitoring system based on biological and behavioral indicators in internet of things. J. Ambient Intell. Humaniz. Comput. 14 (5) (2023)
Soghra Mousavi, Sepehr Ebrahimi Mood, Alireza Souri, Mohammad Masoud Javidi
Directed Search: A New Operator in NSGA-II for Task Scheduling in IoT Based on Cloud-Fog Computing. IEEE Trans. Cloud Comput. 11 (2) (2023)
Atefeh Hemmati, Mani Zarei, Alireza Souri
UAV-based Internet of Vehicles: A systematic literature review. Intell. Syst. Appl. 18 (2023)
ShaoMiao Chen, Ce Yang, Weihong Huang, Wei Liang, Nai Ke, Alireza Souri, Kuan-Ching Li
Fairness constraint efficiency optimization for multiresource allocation in a cluster system serving internet of things. Int. J. Commun. Syst. 36 (3) (2023)
Atefeh Hemmati, Mani Zarei, Alireza Souri
Blockchain-based internet of vehicles (BIoV): A systematic review of surveys and reviews. Secur. Priv. 6 (6) (2023)
Alireza Souri, Eyhab Al-Masri, Saru Kumari
Blockchain architecture and methodologies for internet of things environment. Secur. Priv. 6 (2) (2023)
Amin Fadaeddini, Babak Majidi, Alireza Souri, Mohammad Eshghi
Data augmentation using fast converging CIELAB-GAN for efficient deep learning dataset generation. Int. J. Comput. Sci. Eng. 26 (4) (2023)
Han Liu, Dezhi Han, Mingming Cui, Kuan-Ching Li, Alireza Souri, Mohammad Shojafar
IdenMultiSig: Identity-Based Decentralized Multi-Signature in Internet of Things. IEEE Trans. Comput. Soc. Syst. 10 (4) (2023)
Debasmita Mishra, Bighnaraj Naik, Janmenjoy Nayak, Alireza Souri, Pandit Byomakesha Dash, S. Vimal
Light gradient boosting machine with optimized hyperparameters for identification of malicious access in IoT network. Digit. Commun. Networks 9 (1) (2023)
Mostafa Ghobaei-Arani, Maryam Rezaei, Alireza Souri
An auto-scaling mechanism for cloud-based multimedia storage systems: a fuzzy-based elastic controller. Multim. Tools Appl. 81 (24) (2022)
Alireza Souri
Artificial intelligence mechanisms for management of QoS-aware connectivity in Internet of vehicles. J. High Speed Networks 28 (3) (2022)
Alireza Souri, Mu-Yen Chen, Nima Jafari Navimipour
Computational Intelligence Methods for Smart Connectivity in IoT. J. Interconnect. Networks 22 (3) (2022)
Atallah AL-Shatnawi, Faisal Al-Saqqar, Alireza Souri
Arabic Handwritten Word Recognition Based on Stationary Wavelet Transform Technique using Machine Learning. ACM Trans. Asian Low Resour. Lang. Inf. Process. 21 (3) (2022)
Ali Shahidinejad, Mostafa Ghobaei-Arani, Alireza Souri, Mohammad Shojafar, Saru Kumari
Light-Edge: A Lightweight Authentication Protocol for IoT Devices in an Edge-Cloud Environment. IEEE Consumer Electron. Mag. 11 (2) (2022)
Alireza Souri, Aseel Hussien, Mahdi Hoseyninezhad, Monire Norouzi
A systematic review of IoT communication strategies for an efficient smart environment. Trans. Emerg. Telecommun. Technol. 33 (3) (2022)
Antony Taurshia, G. Jaspher Willsie Kathrine, Alireza Souri, S. E. Vinodh, S. Vimal, Kuan-Ching Li, S. Sudhakar Ilango
Software-defined network aided lightweight group key management for resource-constrained Internet of Things devices. Sustain. Comput. Informatics Syst. 36 (2022)
Eyhab Al-Masri, Ankit Singh, Alireza Souri
IoBCT: A Brain Computer Interface using EEG Signals for Controlling IoT Devices. ICKII (2022)
Daming Li, Lianbing Deng, Zhiming Cai, Alireza Souri
Blockchain as a service models in the Internet of Things management: Systematic review. Trans. Emerg. Telecommun. Technol. 33 (4) (2022)
Janmenjoy Nayak, Saroj K. Meher, Alireza Souri, Bighnaraj Naik, S. Vimal
Extreme learning machine and bayesian optimization-driven intelligent framework for IoMT cyber-attack detection. J. Supercomput. 78 (13) (2022)
Alireza Souri, Vincenzo Piuri, Mohammad Shojafar, Eyhab Al-Masri, Saru Kumari
Green energy-efficient computing solutions in Internet of Things communications. Int. J. Commun. Syst. 35 (1) (2022)
Dezhi Han, Yujie Zhu, Dun Li, Wei Liang, Alireza Souri, Kuan-Ching Li
A Blockchain-Based Auditable Access Control System for Private Data in Service-Centric IoT Environments. IEEE Trans. Ind. Informatics 18 (5) (2022)
Alireza Souri, Mostafa Ghobaei-Arani
Cloud manufacturing service composition in IoT applications: a formal verification-based approach. Multim. Tools Appl. 81 (19) (2022)
Jiwen Li, Jiapeng Dai, Alibek Issakhov, Sattam Fahad Almojil, Alireza Souri
Towards decision support systems for energy management in the smart industry and Internet of Things. Comput. Ind. Eng. 161 (2021)
Alireza Souri, Mu-Yen Chen
AI-enabled learning techniques for Internet of Things communications. J. High Speed Networks 27 (3) (2021)
Mehdi Hosseinzadeh, Jalil Koohpayehzadeh, Ahmed Omar Bali, Farnoosh Afshin Rad, Alireza Souri, Ali Mazaherinezhad, Aziz Rezapour, Mahdi Bohlouli
A review on diagnostic autism spectrum disorder approaches based on the Internet of Things and Machine Learning. J. Supercomput. 77 (3) (2021)
Amir Masoud Rahmani, Zahra Babaei, Alireza Souri
Event-driven IoT architecture for data analysis of reliable healthcare application using complex event processing. Clust. Comput. 24 (2) (2021)
Dayu Wang, Daojun Zhong, Alireza Souri
Energy management solutions in the Internet of Things applications: Technical analysis and new research directions. Cogn. Syst. Res. 67 (2021)
Mehdi Hosseinzadeh, Jalil Koohpayehzadeh, Ahmed Omar Bali, Parvaneh Asghari, Alireza Souri, Ali Mazaherinezhad, Mahdi Bohlouli, Reza Rawassizadeh
A diagnostic prediction model for chronic kidney disease in internet of things platform. Multim. Tools Appl. 80 (11) (2021)
Janmenjoy Nayak, Bighnaraj Naik, Pandit Byomakesha Dash, Alireza Souri, Vimal Shanmuganathan
Hyper-parameter tuned light gradient boosting machine using memetic firefly algorithm for hand gesture recognition. Appl. Soft Comput. 107 (2021)
Ali Shahidinejad, Mostafa Ghobaei-Arani, Alireza Souri, Mohammad Shojafar, Saru Kumari
A Technical Report for Light-Edge: A Lightweight Authentication Protocol for IoT Devices in an Edge-Cloud Environment. CoRR (2021)
Alireza Souri, Vincenzo Piuri, Mu-Yen Chen
Guest Editorial: Intelligent solutions for green computing in internet of medical things. Netw. Model. Anal. Health Informatics Bioinform. 10 (1) (2021)
Alireza Souri, Saru Kumari, Mohamed Elhoseny
Privacy-aware resource management solutions in Internet of Things. Trans. Emerg. Telecommun. Technol. 32 (8) (2021)
Mostafa Ghobaei-Arani, Alireza Souri, Fatemeh Safara, Monire Norouzi
An efficient task scheduling approach using moth-flame optimization algorithm for cyber-physical system applications in fog computing. Trans. Emerg. Telecommun. Technol. 31 (2) (2020)
Mostafa Ghobaei-Arani, Alireza Souri, Ali A. Rahmanian
Resource Management Approaches in Fog Computing: a Comprehensive Review. J. Grid Comput. 18 (1) (2020)
Fatemeh Safara, Alireza Souri, Thar Baker, Ismaeel Al Ridhawi, Moayad Aloqaily
PriNergy: a priority-based energy-efficient routing method for IoT systems. J. Supercomput. 76 (11) (2020)
Fatemeh Safara, Alireza Souri, Masoud Serrizadeh
Improved intrusion detection method for communication networks using association rule mining and artificial neural networks. IET Commun. 14 (7) (2020)
Alireza Souri, Marwan Yassin Ghafour, Aram Mahmood Ahmed, Fatemeh Safara, Ali Yamini, Mahdi Hoseyninezhad
A new machine learning-based healthcare monitoring model for student's condition diagnosis in Internet of Things environment. Soft Comput. 24 (22) (2020)
Alireza Souri, Amir Masoud Rahmani, Nima Jafari Navimipour, Reza Rezaei
A hybrid formal verification approach for QoS-aware multi-cloud service composition. Clust. Comput. 23 (4) (2020)
Alireza Souri, Amin Salih Mohammed, Moayad Yousif Potrus, Mazhar Hussain Malik, Fatemeh Safara, Mehdi Hosseinzadeh
Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications. IEEE Access 8 (2020)
Fatemeh Safara, Alireza Souri, Sara Fathipour Deiman
Super peer selection strategy in peer-to-peer networks based on learning automata. Int. J. Commun. Syst. 33 (6) (2020)
Alireza Souri, Monire Norouzi, Parvaneh Asghari, Amir Masoud Rahmani, Ghazaleh Emadi
A systematic literature review on formal verification of software-defined networks. Trans. Emerg. Telecommun. Technol. 31 (2) (2020)
Mehdi Hosseinzadeh, Quan Thanh Tho, Saqib Ali, Amir Masoud Rahmani, Alireza Souri, Monire Norouzi, Bao Huynh
A Hybrid Service Selection and Composition Model for Cloud-Edge Computing in the Internet of Things. IEEE Access 8 (2020)
Shahab Ghalamdoost Pirbazari, Alireza Souri, Reza Faghih Mirzaee, Sam Jabbehdari
Multi valued parity generator based on Sudoku tables: properties and detection probability. IET Commun. 14 (14) (2020)
Fatemeh Safara, Amin Salih Mohammed, Moayad Yousif Potrus, Saqib Ali, Quan Thanh Tho, Alireza Souri, Fereshteh Janenia, Mehdi Hosseinzadeh
An Author Gender Detection Method Using Whale Optimization Algorithm and Artificial Neural Network. IEEE Access 8 (2020)
Alireza Souri, Monire Norouzi
A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications. J. Serv. Sci. Res. 11 (1) (2019)
Alireza Souri, Monire Norouzi, Amir Masoud Rahmani, Nima Jafari Navimipour
A model checking approach for user relationship management in the social network. Kybernetes 48 (3) (2019)
Alireza Souri, Amir Masoud Rahmani, Nima Jafari Navimipour, Reza Rezaei
A symbolic model checking approach in formal verification of distributed systems. Hum. centric Comput. Inf. Sci. 9 (2019)
Nasim Donyagard Vahed, Mostafa Ghobaei-Arani, Alireza Souri
Multiobjective virtual machine placement mechanisms using nature-inspired metaheuristic algorithms in cloud environments: A comprehensive review. Int. J. Commun. Syst. 32 (14) (2019)
Mostafa Ghobaei-Arani, Alireza Souri
LP-WSC: a linear programming approach for web service composition in geographically distributed cloud environments. J. Supercomput. 75 (5) (2019)
Mostafa Ghobaei-Arani, Alireza Souri, Thar Baker, Aseel Hussien
ControCity: An Autonomous Approach for Controlling Elasticity Using Buffer Management in Cloud Computing Environment. IEEE Access 7 (2019)
Alireza Souri, Amir Masoud Rahmani, Nima Jafari Navimipour, Reza Rezaei
Formal modeling and verification of a service composition approach in the social customer relationship management system. Inf. Technol. People 32 (6) (2019)
Saeed Sabamoniri, Alireza Souri
A weighted resource discovery approach in grid computing. Int. J. Pervasive Comput. Commun. 15 (3/4) (2019)
Alireza Souri, Amir Masoud Rahmani, Nima Jafari Navimipour
Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research. Int. J. Commun. Syst. 31 (17) (2018)
Mostafa Ghobaei-Arani, Ali Asghar Rahmanian, Alireza Souri, Amir Masoud Rahmani
A moth-flame optimization algorithm for web service composition in cloud computing: Simulation and verification. Softw. Pract. Exp. 48 (10) (2018)
Alireza Souri, Nima Jafari Navimipour, Amir Masoud Rahmani
Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review. Comput. Stand. Interfaces 58 (2018)
Alireza Souri, Shafigheh Hosseinpour, Amir Masoud Rahmani
Personality classification based on profiles of social networks' users and the five-factor model of personality. Hum. centric Comput. Inf. Sci. 8 (2018)
Alireza Souri, Rahil Hosseini
A state-of-the-art survey of malware detection approaches using data mining techniques. Hum. centric Comput. Inf. Sci. 8 (2018)
Alireza Souri, Parvaneh Asghari, Reza Rezaei
Software as a service based CRM providers in the cloud computing: Challenges and technical issues. J. Serv. Sci. Res. 9 (2) (2017)
Bahman Keshanchi, Alireza Souri, Nima Jafari Navimipour
An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing. J. Syst. Softw. 124 (2017)
Monire Norouzi, Alireza Souri, Majid Samad SamadZamini
A Data Mining Classification Approach for Behavioral Malware Detection. J. Comput. Networks Commun. 2016 (2016)
Alireza Souri
Formal Specification and Verification of a Data Replication Approach in Distributed Systems. Int. J. Next Gener. Comput. 7 (1) (2016)
Alireza Souri, Nima Jafari Navimipour
Behavioral modeling and formal verification of a resource discovery approach in Grid computing. Expert Syst. Appl. 41 (8) (2014)