Reza Rezaei

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 10

Top Topics

Software As A Service

Formal Verification

Optimization Approaches

Cloud Computing

Top Venues

J. Syst. Softw.

Expert Syst. Appl.

Publications

Reza Rezaei, Seyed-Ahmad Shahidi, Sohrab Abdollahzadeh, Azade Ghorbani-Hasansaraei, Shahram Naghizadeh Raeisi, Jamileh Hayati
Risk management in the beverage production industry using FMEA and fuzzy cognitive map in an uncertain environment. J. Intell. Fuzzy Syst. 46 (4) (2024)
Rahmat Zolfaghari, Amir Sahafi, Amir Masoud Rahmani, Reza Rezaei
An energy-aware virtual machines consolidation method for cloud computing: Simulation and verification. Softw. Pract. Exp. 52 (1) (2022)
Rahmat Zolfaghari, Amir Sahafi, Amir Masoud Rahmani, Reza Rezaei
Application of virtual machine consolidation in cloud computing systems. Sustain. Comput. Informatics Syst. 30 (2021)
Reza Rezaei, Saman Ghaffarian
Monitoring Forest Resilience Dynamics from Very High-Resolution Satellite Images in Case of Multi-Hazard Disaster. Remote. Sens. 13 (20) (2021)
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, 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)
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)
Morteza Hadipour, Javad Farrokhi Derakhshandeh, Mohsen Aghazadeh Shiran, Reza Rezaei
Automatic washing system of LED street lighting via Internet of Things. Internet Things (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)
Ehab Nabiel Alkhanak, Sai Peck Lee, Reza Rezaei, Reza Meimandi Parizi
Cost optimization approaches for scientific workflow scheduling in cloud and grid computing: A review, classifications, and open issues. J. Syst. Softw. 113 (2016)
Alireza Olyai, Reza Rezaei
Analysis and Comparison of Software Product Line Frameworks. J. Softw. 10 (8) (2015)
Abdollah Kiani, Mohsen Amiri Fakhr, Reza Rezaei
Architectural Patterns for Context-Aware System. J. Softw. 10 (8) (2015)
Reza Rezaei, Thiam Kian Chiew, Sai Peck Lee, Zeinab Shams Aliee
A semantic interoperability framework for software as a service systems in cloud computing environments. Expert Syst. Appl. 41 (13) (2014)
Reza Rezaei, Thiam Kian Chiew, Sai Peck Lee, Zeinab Shams Aliee
Interoperability evaluation models: A systematic review. Comput. Ind. 65 (1) (2014)
Reza Rezaei, Thiam Kian Chiew, Sai Peck Lee
An interoperability model for ultra large scale systems. Adv. Eng. Softw. 67 (2014)
Reza Rezaei, Thiam Kian Chiew, Sai Peck Lee
A review on E-business Interoperability Frameworks. J. Syst. Softw. 93 (2014)
Reza Rezaei, Thiam Kian Chiew, Sai Peck Lee
A review of interoperability assessment models. J. Zhejiang Univ. Sci. C 14 (9) (2013)