Dynamic Analysis of Object-Oriented Programs Using State Machines and ECA Rules. - Seyed Morteza Babamir; S. Jalili (IASSE, 2005)

Behavioral Specification of Real-Time Requirements. - Seyed Morteza Babamir; Faezeh Sadat Babamir (APSEC, 2008)

Modeling Timed Elaborate Requirements in Service-Oriented. - Seyed Morteza Babamir; Seyyed Hosein Seyyedi Arani (SWWS, 2009)

Modeling and Analyzing CIIP Medical System Using Colored Petri-Nets. - Seyed Morteza Babamir; Mojdeh Rahmanian (BIOCOMP, 2010)

Analyzing Call Initiation Intrusion in Mobile Phones. - Reyhane Nowrouzi; Seyed Morteza Babamir; Mehdi Dabbaghian; Mohsen Farrokhi; Farzad Azizkhani (Security and Management, 2010)

Mining Bluetooth Attacks in Smart Phones. - Seyed Morteza Babamir; Reyhane Nowrouzi; Hadi Naseri (NDT (1), 2010)

Demonstrating Performance Analysis of Web Services Using Petri-Nets and Logging. - Mojdeh Rahmanian; Seyed Morteza Babamir (SWWS, 2010)

An event based formal specification method to diabetic's behavior monitor system. - Seyed Morteza Babamir; Mehdi Borhani Dehkordi (WCIT, 2011)

Developing a Web-Based Cooperative Environment to Software Project Development. - Seyed Morteza Babamir (Collaboration and the Semantic Web, 2012)

M2M Architecture: Can It Realize Ubiquitous Computing in Daily life? - Seyed Morteza Babamir (KSII Trans. Internet Inf. Syst., 2012)

Constructing a Model-Based Software Monitor for the Insulin Pump Behavior. - Seyed Morteza Babamir (J. Medical Syst., 2012)

Improving Service Accessibility in Service-Oriented HIS. - Seyed Morteza Babamir; Masoud Arabfard (J. Medical Syst., 2012)

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample. - Seyed Morteza Babamir; Mehdi Borhani Dehkordi (J. Medical Syst., 2012)

Constructing formal rules to verify message communication in distributed systems. - Seyed Morteza Babamir (J. Supercomput., 2012)

Runtime verification of service-oriented systems: a well-rounded survey. - Reza Babaee; Seyed Morteza Babamir (Int. J. Web Grid Serv., 2013)

Specification and verification of reliability in dispatching multicast messages. - Seyed Morteza Babamir (J. Supercomput., 2013)

Predicting potential deadlocks in multithreaded programs. - Seyed Morteza Babamir; Elmira Hassanzade; Mona Azimpour (Concurr. Comput. Pract. Exp., 2015)

A Multi-Objective Optimization Model for Data-Intensive Workflow Scheduling in Data Grids. - Mahshid Helali Moghadam; Seyed Morteza Babamir; Meghdad Mirabi (LCN Workshops, 2016)

A New Sparse Representation Algorithm for 3D Human Pose Estimation. - Azam Andalib; Seyed Morteza Babamir; Alireza Faraji (Comput. Informatics, 2016)

Indefinite block ciphering based on variable and great length key. - Azam Davahli; Seyed Morteza Babamir (Secur. Commun. Networks, 2016)

A predictive framework for load balancing clustered web servers. - Sanaz Sheikhi; Seyed Morteza Babamir (J. Supercomput., 2016)

A GA based method for search-space reduction of chess game-tree. - Hootan Dehghani; Seyed Morteza Babamir (Appl. Intell., 2017)

Optimal scheduling workflows in cloud computing environment using Pareto-based Grey Wolf Optimizer. - Azade Khalili; Seyed Morteza Babamir (Concurr. Comput. Pract. Exp., 2017)

Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets. - Negar Majma; Seyed Morteza Babamir; Amirhassan Monadjemi (J. Medical Syst., 2017)

A method for the optimum selection of datacenters in geographically distributed clouds. - Hassan Ziafat; Seyed Morteza Babamir (J. Supercomput., 2017)

A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses. - Fatemeh Ebadifard; Saeed Doostali; Seyed Morteza Babamir (IST, 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 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)

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)

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)

Fast language-independent correction of interconnected typos to finding longest terms. - Behzad Soleimani Neysiani; Seyed Morteza Babamir (IVUS, 2019)

A hierarchical structure for optimal resource allocation in geographically distributed clouds. - Hassan Ziafat; Seyed Morteza Babamir (Future Gener. Comput. Syst., 2019)

Test-data generation directed by program path coverage through imperialist competitive algorithm. - Mohammad Ali Saadatjoo; Seyed Morteza Babamir (Sci. Comput. Program., 2019)

Evaluation of Clustering Algorithms in Ad Hoc Mobile Networks. - Seyed Ali Sharifi; Seyed Morteza Babamir (Wirel. Pers. Commun., 2019)

The clustering algorithm for efficient energy management in mobile ad-hoc networks. - Seyed Ali Sharifi; Seyed Morteza Babamir (Comput. Networks, 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)

Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning-based approach. - Mehrdad Ghorbani; Seyed Morteza Babamir (Concurr. Comput. Pract. Exp., 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)

Scheduling scientific workflows on virtual machines using a Pareto and hypervolume based black hole optimization algorithm. - Fatemeh Ebadifard; Seyed Morteza Babamir (J. Supercomput., 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)

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)

CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path. - Saeed Doostali; Seyed Morteza Babamir; Maryam Eini (Clust. Comput., 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)

A model driven and clustering method for service identification directed by metrics. - Mohammad Daghaghzadeh; Seyed Morteza Babamir (Softw. Pract. Exp., 2021)

Query processing optimization in broadcasting XML data in mobile communications. - Mohsen Shekarriz; Seyed Morteza Babamir; Meghdad Mirabi (J. Supercomput., 2021)

Using a process algebra interface for verification and validation of UML statecharts. - Saeed Doostali; Seyed Morteza Babamir; Mohammad Javani (Comput. Stand. Interfaces, 2023)

Fuzzy coloured petri nets-based method to analyse and verify the functionality of software. - Mina Chavoshi; Seyed Morteza Babamir (CAAI Trans. Intell. Technol., 2023)

Anomaly detection of policies in distributed firewalls using data log analysis. - Azam Andalib; Seyed Morteza Babamir (J. Supercomput., 2023)

Modeling and simulation of Fuzzy-rule based WBAN using multi-level fuzzy colored petri-nets and reinforcement learning. - Negar Majma; Seyed Morteza Babamir (J. Comput. Sci., 2024)

A hybrid energy-aware algorithm for virtual machine placement in cloud computing. - Malek Yousefi; Seyed Morteza Babamir (Computing, 2024)

Reserve policy-aware VM positioning based on prediction in multi-cloud environment. - Elahe Kholdi; Seyed Morteza Babamir (J. Supercomput., 2024)

Quality-aware web service composition using a hybrid summarization. - Narjes Zahiri; Seyed Morteza Babamir (J. Supercomput., 2025)

A pattern-based and multi-objective architecture for selecting optimal compositions of web services. - Narjes Zahiri; Seyed Morteza Babamir (Expert Syst. Appl., 2026)

Hybrid based QoS-aware selection of web services compositions. - Narjes Zahiri; Seyed Morteza Babamir (Future Gener. Comput. Syst., 2026)