Seyed Morteza Babamir

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