Alireza Souri

Orcid: 0000-0001-8314-9051

Affiliations:
  • Islamic Azad University, Department of Computer Engineering, Science and Research Branch, Tehran, Iran


According to our database1, Alireza Souri authored at least 68 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Blockchain technology for energy-aware mobile crowd sensing approaches in Internet of Things.
Trans. Emerg. Telecommun. Technol., April, 2024

An improved blind/referenceless image spatial quality evaluator algorithm for image quality assessment.
Int. J. Comput. Sci. Eng., 2024

2023
Energy-efficient cooperative resource allocation and task scheduling for Internet of Things environments.
Internet Things, October, 2023

Spatial-Temporal Aware Inductive Graph Neural Network for C-ITS Data Recovery.
IEEE Trans. Intell. Transp. Syst., August, 2023

IdenMultiSig: Identity-Based Decentralized Multi-Signature in Internet of Things.
IEEE Trans. Comput. Soc. Syst., August, 2023

Introduction to the Special Section on Internet of Behavior for Emerging Technologies.
ACM Trans. Sens. Networks, May, 2023

UAV-based Internet of Vehicles: A systematic literature review.
Intell. Syst. Appl., May, 2023

An attentive hierarchy ConvNet for crowd counting in smart city.
Clust. Comput., April, 2023

Light gradient boosting machine with optimized hyperparameters for identification of malicious access in IoT network.
Digit. Commun. Networks, February, 2023

Directed Search: A New Operator in NSGA-II for Task Scheduling in IoT Based on Cloud-Fog Computing.
IEEE Trans. Cloud Comput., 2023

Blockchain architecture and methodologies for internet of things environment.
Secur. Priv., 2023

Blockchain-based internet of vehicles (BIoV): A systematic review of surveys and reviews.
Secur. Priv., 2023

An elderly health monitoring system based on biological and behavioral indicators in internet of things.
J. Ambient Intell. Humaniz. Comput., 2023

Data augmentation using fast converging CIELAB-GAN for efficient deep learning dataset generation.
Int. J. Comput. Sci. Eng., 2023

Fairness constraint efficiency optimization for multiresource allocation in a cluster system serving internet of things.
Int. J. Commun. Syst., 2023

2022
Extreme learning machine and bayesian optimization-driven intelligent framework for IoMT cyber-attack detection.
J. Supercomput., 2022

A Blockchain-Based Auditable Access Control System for Private Data in Service-Centric IoT Environments.
IEEE Trans. Ind. Informatics, 2022

Arabic Handwritten Word Recognition Based on Stationary Wavelet Transform Technique using Machine Learning.
ACM Trans. Asian Low Resour. Lang. Inf. Process., 2022

Software-defined network aided lightweight group key management for resource-constrained Internet of Things devices.
Sustain. Comput. Informatics Syst., 2022

Cloud manufacturing service composition in IoT applications: a formal verification-based approach.
Multim. Tools Appl., 2022

An auto-scaling mechanism for cloud-based multimedia storage systems: a fuzzy-based elastic controller.
Multim. Tools Appl., 2022

Computational Intelligence Methods for Smart Connectivity in IoT.
J. Interconnect. Networks, 2022

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

Green energy-efficient computing solutions in Internet of Things communications.
Int. J. Commun. Syst., 2022

A systematic review of IoT communication strategies for an efficient smart environment.
Trans. Emerg. Telecommun. Technol., 2022

Blockchain as a service models in the Internet of Things management: Systematic review.
Trans. Emerg. Telecommun. Technol., 2022

Light-Edge: A Lightweight Authentication Protocol for IoT Devices in an Edge-Cloud Environment.
IEEE Consumer Electron. Mag., 2022

IoBCT: A Brain Computer Interface using EEG Signals for Controlling IoT Devices.
Proceedings of the 5th IEEE International Conference on Knowledge Innovation and Invention, 2022

2021
A review on diagnostic autism spectrum disorder approaches based on the Internet of Things and Machine Learning.
J. Supercomput., 2021

Guest Editorial: Intelligent solutions for green computing in internet of medical things.
Netw. Model. Anal. Health Informatics Bioinform., 2021

A diagnostic prediction model for chronic kidney disease in internet of things platform.
Multim. Tools Appl., 2021

AI-enabled learning techniques for Internet of Things communications.
J. High Speed Networks, 2021

Privacy-aware resource management solutions in Internet of Things.
Trans. Emerg. Telecommun. Technol., 2021

A Technical Report for Light-Edge: A Lightweight Authentication Protocol for IoT Devices in an Edge-Cloud Environment.
CoRR, 2021

Energy management solutions in the Internet of Things applications: Technical analysis and new research directions.
Cogn. Syst. Res., 2021

Event-driven IoT architecture for data analysis of reliable healthcare application using complex event processing.
Clust. Comput., 2021

Towards decision support systems for energy management in the smart industry and Internet of Things.
Comput. Ind. Eng., 2021

Hyper-parameter tuned light gradient boosting machine using memetic firefly algorithm for hand gesture recognition.
Appl. Soft Comput., 2021

2020
PriNergy: a priority-based energy-efficient routing method for IoT systems.
J. Supercomput., 2020

A new machine learning-based healthcare monitoring model for student's condition diagnosis in Internet of Things environment.
Soft Comput., 2020

Super peer selection strategy in peer-to-peer networks based on learning automata.
Int. J. Commun. Syst., 2020

Improved intrusion detection method for communication networks using association rule mining and artificial neural networks.
IET Commun., 2020

Multi valued parity generator based on Sudoku tables: properties and detection probability.
IET Commun., 2020

Resource Management Approaches in Fog Computing: a Comprehensive Review.
J. Grid Comput., 2020

A systematic literature review on formal verification of software-defined networks.
Trans. Emerg. Telecommun. Technol., 2020

An efficient task scheduling approach using moth-flame optimization algorithm for cyber-physical system applications in fog computing.
Trans. Emerg. Telecommun. Technol., 2020

A hybrid formal verification approach for QoS-aware multi-cloud service composition.
Clust. Comput., 2020

Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications.
IEEE Access, 2020

An Author Gender Detection Method Using Whale Optimization Algorithm and Artificial Neural Network.
IEEE Access, 2020

A Hybrid Service Selection and Composition Model for Cloud-Edge Computing in the Internet of Things.
IEEE Access, 2020

2019
LP-WSC: a linear programming approach for web service composition in geographically distributed cloud environments.
J. Supercomput., 2019

A model checking approach for user relationship management in the social network.
Kybernetes, 2019

A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications.
J. Serv. Sci. Res., 2019

Formal modeling and verification of a service composition approach in the social customer relationship management system.
Inf. Technol. People, 2019

A weighted resource discovery approach in grid computing.
Int. J. Pervasive Comput. Commun., 2019

Multiobjective virtual machine placement mechanisms using nature-inspired metaheuristic algorithms in cloud environments: A comprehensive review.
Int. J. Commun. Syst., 2019

A symbolic model checking approach in formal verification of distributed systems.
Hum. centric Comput. Inf. Sci., 2019

ControCity: An Autonomous Approach for Controlling Elasticity Using Buffer Management in Cloud Computing Environment.
IEEE Access, 2019

2018
A moth-flame optimization algorithm for web service composition in cloud computing: Simulation and verification.
Softw. Pract. Exp., 2018

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research.
Int. J. Commun. Syst., 2018

Personality classification based on profiles of social networks' users and the five-factor model of personality.
Hum. centric Comput. Inf. Sci., 2018

A state-of-the-art survey of malware detection approaches using data mining techniques.
Hum. centric Comput. Inf. Sci., 2018

Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review.
Comput. Stand. Interfaces, 2018

2017
An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing.
J. Syst. Softw., 2017

Software as a service based CRM providers in the cloud computing: Challenges and technical issues.
J. Serv. Sci. Res., 2017

2016
A Data Mining Classification Approach for Behavioral Malware Detection.
J. Comput. Networks Commun., 2016

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

2014
Behavioral modeling and formal verification of a resource discovery approach in Grid computing.
Expert Syst. Appl., 2014


  Loading...