Seyed Morteza Babamir

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 33

Top Topics

Scheduling Algorithm

Cloud Computing

Geographically Distributed

Top Venues

J. Supercomput.

Concurr. Comput. Pract. Exp.

Publications

Elahe Kholdi, Seyed Morteza Babamir
Reserve policy-aware VM positioning based on prediction in multi-cloud environment. J. Supercomput. 80 (16) (2024)
Malek Yousefi, Seyed Morteza Babamir
A hybrid energy-aware algorithm for virtual machine placement in cloud computing. Computing 106 (5) (2024)
Saeed Doostali, Seyed Morteza Babamir, Mohammad Javani
Using a process algebra interface for verification and validation of UML statecharts. Comput. Stand. Interfaces 86 (2023)
Mina Chavoshi, Seyed Morteza Babamir
Fuzzy coloured petri nets-based method to analyse and verify the functionality of software. CAAI Trans. Intell. Technol. 8 (3) (2023)
Azam Andalib, Seyed Morteza Babamir
Anomaly detection of policies in distributed firewalls using data log analysis. J. Supercomput. 79 (17) (2023)
Mohsen Shekarriz, Seyed Morteza Babamir, Meghdad Mirabi
Query processing optimization in broadcasting XML data in mobile communications. J. Supercomput. 77 (6) (2021)
Saeed Doostali, Seyed Morteza Babamir, Maryam Eini
CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path. Clust. Comput. 24 (4) (2021)
Fatemeh Ebadifard, Seyed Morteza Babamir
Federated Geo-Distributed Clouds: Optimizing Resource Allocation Based on Request Type Using Autonomous and Multi-objective Resource Sharing Model. Big Data Res. 24 (2021)
Mohammad Daghaghzadeh, Seyed Morteza Babamir
A model driven and clustering method for service identification directed by metrics. Softw. Pract. Exp. 51 (2) (2021)
Fatemeh Ebadifard, Seyed Morteza Babamir
Autonomic task scheduling algorithm for dynamic workloads through a load balancing technique for the cloud-computing environment. Clust. Comput. 24 (2) (2021)
Fatemeh Ebadifard, Seyed Morteza Babamir
Scheduling scientific workflows on virtual machines using a Pareto and hypervolume based black hole optimization algorithm. J. Supercomput. 76 (10) (2020)
Behzad Soleimani Neysiani, Seyed Morteza Babamir, Masayoshi Aritsugi
Efficient feature extraction model for validation performance improvement of duplicate bug report detection in software bug triage systems. Inf. Softw. Technol. 126 (2020)
Seyed Ali Sharifi, Seyed Morteza Babamir
The clustering algorithm for efficient energy management in mobile ad-hoc networks. Comput. Networks 166 (2020)
Mehrdad Ghorbani, Seyed Morteza Babamir
Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning-based approach. Concurr. Comput. Pract. Exp. 32 (10) (2020)
Negar Majma, Seyed Morteza Babamir
Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets. IEEE Trans. Syst. Man Cybern. Syst. 50 (9) (2020)
Saeed Doostali, Seyed Morteza Babamir
An energy efficient cluster head selection approach for performance improvement in network-coding-based wireless sensor networks with multiple sinks. Comput. Commun. 164 (2020)
Hassan Ziafat, Seyed Morteza Babamir
A hierarchical structure for optimal resource allocation in geographically distributed clouds. Future Gener. Comput. Syst. 90 (2019)
Mohammad Ali Saadatjoo, Seyed Morteza Babamir
Test-data generation directed by program path coverage through imperialist competitive algorithm. Sci. Comput. Program. 184 (2019)
Behzad Soleimani Neysiani, Seyed Morteza Babamir
Fast language-independent correction of interconnected typos to finding longest terms. IVUS (2019)
Seyed Ali Sharifi, Seyed Morteza Babamir
Evaluation of Clustering Algorithms in Ad Hoc Mobile Networks. Wirel. Pers. Commun. 109 (4) (2019)
Mahshid Helali Moghadam, Seyed Morteza Babamir
Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling. J. Comput. Sci. 24 (2018)
Fatemeh Ebadifard, Seyed Morteza Babamir
A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment. Concurr. Comput. Pract. Exp. 30 (12) (2018)
Sanaz Sheikhi, Seyed Morteza Babamir
Using a recurrent artificial neural network for dynamic self-adaptation of cluster-based web-server systems. Appl. Intell. 48 (8) (2018)
Hassan Ziafat, Seyed Morteza Babamir
Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c-mean and MOLP. Softw. Pract. Exp. 48 (10) (2018)
Fatemeh Ebadifard, Saeed Doostali, Seyed Morteza Babamir
A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses. IST (2018)
Negar Majma, Seyed Morteza Babamir, Amirhassan Monadjemi
Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets. J. Medical Syst. 41 (2) (2017)
Hassan Ziafat, Seyed Morteza Babamir
A method for the optimum selection of datacenters in geographically distributed clouds. J. Supercomput. 73 (9) (2017)
Azade Khalili, Seyed Morteza Babamir
Optimal scheduling workflows in cloud computing environment using Pareto-based Grey Wolf Optimizer. Concurr. Comput. Pract. Exp. 29 (11) (2017)
Hootan Dehghani, Seyed Morteza Babamir
A GA based method for search-space reduction of chess game-tree. Appl. Intell. 47 (3) (2017)
Sanaz Sheikhi, Seyed Morteza Babamir
A predictive framework for load balancing clustered web servers. J. Supercomput. 72 (2) (2016)
Azam Andalib, Seyed Morteza Babamir, Alireza Faraji
A New Sparse Representation Algorithm for 3D Human Pose Estimation. Comput. Informatics 35 (6) (2016)
Mahshid Helali Moghadam, Seyed Morteza Babamir, Meghdad Mirabi
A Multi-Objective Optimization Model for Data-Intensive Workflow Scheduling in Data Grids. LCN Workshops (2016)
Azam Davahli, Seyed Morteza Babamir
Indefinite block ciphering based on variable and great length key. Secur. Commun. Networks 9 (18) (2016)
Seyed Morteza Babamir, Elmira Hassanzade, Mona Azimpour
Predicting potential deadlocks in multithreaded programs. Concurr. Comput. Pract. Exp. 27 (17) (2015)
Seyed Morteza Babamir
Specification and verification of reliability in dispatching multicast messages. J. Supercomput. 63 (2) (2013)
Reza Babaee, Seyed Morteza Babamir
Runtime verification of service-oriented systems: a well-rounded survey. Int. J. Web Grid Serv. 9 (3) (2013)
Seyed Morteza Babamir
Constructing a Model-Based Software Monitor for the Insulin Pump Behavior. J. Medical Syst. 36 (2) (2012)
Seyed Morteza Babamir
M2M Architecture: Can It Realize Ubiquitous Computing in Daily life? KSII Trans. Internet Inf. Syst. 6 (2) (2012)
Seyed Morteza Babamir, Mehdi Borhani Dehkordi
Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample. J. Medical Syst. 36 (4) (2012)
Seyed Morteza Babamir
Constructing formal rules to verify message communication in distributed systems. J. Supercomput. 59 (3) (2012)
Seyed Morteza Babamir, Masoud Arabfard
Improving Service Accessibility in Service-Oriented HIS. J. Medical Syst. 36 (6) (2012)
Seyed Morteza Babamir, Mehdi Borhani Dehkordi
An event based formal specification method to diabetic's behavior monitor system. WCIT (2011)
Seyed Morteza Babamir, Reyhane Nowrouzi, Hadi Naseri
Mining Bluetooth Attacks in Smart Phones. NDT (1) (2010)
Mojdeh Rahmanian, Seyed Morteza Babamir
Demonstrating Performance Analysis of Web Services Using Petri-Nets and Logging. SWWS (2010)
Reyhane Nowrouzi, Seyed Morteza Babamir, Mehdi Dabbaghian, Mohsen Farrokhi, Farzad Azizkhani
Analyzing Call Initiation Intrusion in Mobile Phones. Security and Management (2010)
Seyed Morteza Babamir, Mojdeh Rahmanian
Modeling and Analyzing CIIP Medical System Using Colored Petri-Nets. BIOCOMP (2010)
Seyed Morteza Babamir, Seyyed Hosein Seyyedi Arani
Modeling Timed Elaborate Requirements in Service-Oriented. SWWS (2009)
Seyed Morteza Babamir, Faezeh Sadat Babamir
Behavioral Specification of Real-Time Requirements. APSEC (2008)