Seyed Morteza Babamir

According to our database, Seyed Morteza Babamir authored at least 47 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Anomaly detection of policies in distributed firewalls using data log analysis.

Azam Andalib, Seyed Morteza Babamir

J. Supercomput., November, 2023

Fuzzy coloured petri nets-based method to analyse and verify the functionality of software.

Mina Chavoshi, Seyed Morteza Babamir

CAAI Trans. Intell. Technol., September, 2023

Using a process algebra interface for verification and validation of UML statecharts.

Saeed Doostali, Seyed Morteza Babamir, Mohammad Javani

Comput. Stand. Interfaces, August, 2023

2021

Query processing optimization in broadcasting XML data in mobile communications.

Mohsen Shekarriz, Seyed Morteza Babamir, Meghdad Mirabi

J. Supercomput., 2021

A model driven and clustering method for service identification directed by metrics.

Mohammad Daghaghzadeh, Seyed Morteza Babamir

Softw. Pract. Exp., 2021

Autonomic task scheduling algorithm for dynamic workloads through a load balancing technique for the cloud-computing environment.

Fatemeh Ebadifard, Seyed Morteza Babamir

Clust. Comput., 2021

CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path.

Saeed Doostali, Seyed Morteza Babamir, Maryam Eini

Clust. Comput., 2021

Federated Geo-Distributed Clouds: Optimizing Resource Allocation Based on Request Type Using Autonomous and Multi-objective Resource Sharing Model.

Fatemeh Ebadifard, Seyed Morteza Babamir

Big Data Res., 2021

2020

Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets.

Negar Majma, Seyed Morteza Babamir

IEEE Trans. Syst. Man Cybern. Syst., 2020

Scheduling scientific workflows on virtual machines using a Pareto and hypervolume based black hole optimization algorithm.

Fatemeh Ebadifard, Seyed Morteza Babamir

J. Supercomput., 2020

Efficient feature extraction model for validation performance improvement of duplicate bug report detection in software bug triage systems.

Behzad Soleimani Neysiani, Seyed Morteza Babamir, Masayoshi Aritsugi

Inf. Softw. Technol., 2020

Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning-based approach.

Mehrdad Ghorbani, Seyed Morteza Babamir

Concurr. Comput. Pract. Exp., 2020

An energy efficient cluster head selection approach for performance improvement in network-coding-based wireless sensor networks with multiple sinks.

Saeed Doostali, Seyed Morteza Babamir

Comput. Commun., 2020

The clustering algorithm for efficient energy management in mobile ad-hoc networks.

Seyed Ali Sharifi, Seyed Morteza Babamir

Comput. Networks, 2020

2019

Evaluation of Clustering Algorithms in Ad Hoc Mobile Networks.

Seyed Ali Sharifi, Seyed Morteza Babamir

Wirel. Pers. Commun., 2019

Test-data generation directed by program path coverage through imperialist competitive algorithm.

Mohammad Ali Saadatjoo, Seyed Morteza Babamir

Sci. Comput. Program., 2019

A hierarchical structure for optimal resource allocation in geographically distributed clouds.

Hassan Ziafat, Seyed Morteza Babamir

Future Gener. Comput. Syst., 2019

Fast language-independent correction of interconnected typos to finding longest terms.

Behzad Soleimani Neysiani, Seyed Morteza Babamir

Proceedings of the International Conference on Information Technologies, 2019

2018

Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c-mean and MOLP.

Hassan Ziafat, Seyed Morteza Babamir

Softw. Pract. Exp., 2018

Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling.

Mahshid Helali Moghadam, Seyed Morteza Babamir

J. Comput. Sci., 2018

A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment.

Fatemeh Ebadifard, Seyed Morteza Babamir

Concurr. Comput. Pract. Exp., 2018

Using a recurrent artificial neural network for dynamic self-adaptation of cluster-based web-server systems.

Sanaz Sheikhi, Seyed Morteza Babamir

Appl. Intell., 2018

A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses.

Fatemeh Ebadifard, Saeed Doostali, Seyed Morteza Babamir

Proceedings of the 9th International Symposium on Telecommunications, 2018

2017

A method for the optimum selection of datacenters in geographically distributed clouds.

Hassan Ziafat, Seyed Morteza Babamir

J. Supercomput., 2017

Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.

Negar Majma, Seyed Morteza Babamir, Amirhassan Monadjemi

J. Medical Syst., 2017

Optimal scheduling workflows in cloud computing environment using Pareto-based Grey Wolf Optimizer.

Azade Khalili, Seyed Morteza Babamir

Concurr. Comput. Pract. Exp., 2017

A GA based method for search-space reduction of chess game-tree.

Hootan Dehghani, Seyed Morteza Babamir

Appl. Intell., 2017

2016

A predictive framework for load balancing clustered web servers.

Sanaz Sheikhi, Seyed Morteza Babamir

J. Supercomput., 2016

Indefinite block ciphering based on variable and great length key.

Azam Davahli, Seyed Morteza Babamir

Secur. Commun. Networks, 2016

A New Sparse Representation Algorithm for 3D Human Pose Estimation.

Azam Andalib, Seyed Morteza Babamir, Alireza Faraji

Comput. Informatics, 2016

A Multi-Objective Optimization Model for Data-Intensive Workflow Scheduling in Data Grids.

Mahshid Helali Moghadam, Seyed Morteza Babamir, Meghdad Mirabi

Proceedings of the 41st IEEE Conference on Local Computer Networks Workshops, 2016

2015

Predicting potential deadlocks in multithreaded programs.

Seyed Morteza Babamir, Elmira Hassanzade, Mona Azimpour

Concurr. Comput. Pract. Exp., 2015

2013

Specification and verification of reliability in dispatching multicast messages.

Seyed Morteza Babamir

J. Supercomput., 2013

Runtime verification of service-oriented systems: a well-rounded survey.

Reza Babaee, Seyed Morteza Babamir

Int. J. Web Grid Serv., 2013

2012

Constructing formal rules to verify message communication in distributed systems.

Seyed Morteza Babamir

J. Supercomput., 2012

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample.

Seyed Morteza Babamir, Mehdi Borhani Dehkordi

J. Medical Syst., 2012

Improving Service Accessibility in Service-Oriented HIS.

Seyed Morteza Babamir, Masoud Arabfard

J. Medical Syst., 2012

Constructing a Model-Based Software Monitor for the Insulin Pump Behavior.

Seyed Morteza Babamir

J. Medical Syst., 2012

M2M Architecture: Can It Realize Ubiquitous Computing in Daily life?

Seyed Morteza Babamir

KSII Trans. Internet Inf. Syst., 2012

Developing a Web-Based Cooperative Environment to Software Project Development.

Seyed Morteza Babamir

Proceedings of the Collaboration and the Semantic Web, 2012

2011

An event based formal specification method to diabetic's behavior monitor system.

Seyed Morteza Babamir, Mehdi Borhani Dehkordi

Proceedings of the First World Conference on Information Technology, 2011

2010

Demonstrating Performance Analysis of Web Services Using Petri-Nets and Logging.

Mojdeh Rahmanian, Seyed Morteza Babamir

Proceedings of the 2010 International Conference on Semantic Web & Web Services, 2010

Mining Bluetooth Attacks in Smart Phones.

Seyed Morteza Babamir, Reyhane Nowrouzi, Hadi Naseri

Proceedings of the Networked Digital Technologies - Second International Conference, 2010

Analyzing Call Initiation Intrusion in Mobile Phones.

Reyhane Nowrouzi, Seyed Morteza Babamir, Mehdi Dabbaghian, Mohsen Farrokhi, Farzad Azizkhani

Proceedings of the 2010 International Conference on Security & Management, 2010

Modeling and Analyzing CIIP Medical System Using Colored Petri-Nets.

Seyed Morteza Babamir, Mojdeh Rahmanian

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2010

2009

Modeling Timed Elaborate Requirements in Service-Oriented.

Seyed Morteza Babamir, Seyyed Hosein Seyyedi Arani

Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009

2008

Behavioral Specification of Real-Time Requirements.

Seyed Morteza Babamir, Faezeh Sadat Babamir

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008