default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSeyed Morteza Babamir
Person information
- affiliation: University of Kashan, Iran
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j38]Malek Yousefi, Seyed Morteza Babamir:
A hybrid energy-aware algorithm for virtual machine placement in cloud computing. Computing 106(5): 1297-1320 (2024)- [j37]Elahe Kholdi, Seyed Morteza Babamir:
Reserve policy-aware VM positioning based on prediction in multi-cloud environment. J. Supercomput. 80(16): 23736-23766 (2024) - 2023
- [j36]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): 863-879 (2023) - [j35]Saeed Doostali, Seyed Morteza Babamir, Mohammad Javani:
Using a process algebra interface for verification and validation of UML statecharts. Comput. Stand. Interfaces 86: 103739 (2023) - [j34]Azam Andalib, Seyed Morteza Babamir:
Anomaly detection of policies in distributed firewalls using data log analysis. J. Supercomput. 79(17): 19473-19514 (2023) - 2021
- [j33]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: 100188 (2021) - [j32]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): 1075-1101 (2021) - [j31]Saeed Doostali, Seyed Morteza Babamir, Maryam Eini:
CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path. Clust. Comput. 24(4): 3607-3627 (2021) - [j30]Mohammad Daghaghzadeh, Seyed Morteza Babamir:
A model driven and clustering method for service identification directed by metrics. Softw. Pract. Exp. 51(2): 449-484 (2021) - [j29]Mohsen Shekarriz, Seyed Morteza Babamir, Meghdad Mirabi:
Query processing optimization in broadcasting XML data in mobile communications. J. Supercomput. 77(6): 5354-5380 (2021) - 2020
- [j28]Seyed Ali Sharifi, Seyed Morteza Babamir:
The clustering algorithm for efficient energy management in mobile ad-hoc networks. Comput. Networks 166 (2020) - [j27]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: 188-200 (2020) - [j26]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) - [j25]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: 106344 (2020) - [j24]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): 7635-7688 (2020) - [j23]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): 3344-3357 (2020)
2010 – 2019
- 2019
- [j22]Hassan Ziafat, Seyed Morteza Babamir:
A hierarchical structure for optimal resource allocation in geographically distributed clouds. Future Gener. Comput. Syst. 90: 539-568 (2019) - [j21]Mohammad Ali Saadatjoo, Seyed Morteza Babamir:
Test-data generation directed by program path coverage through imperialist competitive algorithm. Sci. Comput. Program. 184 (2019) - [j20]Seyed Ali Sharifi, Seyed Morteza Babamir:
Evaluation of Clustering Algorithms in Ad Hoc Mobile Networks. Wirel. Pers. Commun. 109(4): 2147-2186 (2019) - [c11]Behzad Soleimani Neysiani, Seyed Morteza Babamir:
Fast language-independent correction of interconnected typos to finding longest terms. IVUS 2019: 115-120 - 2018
- [j19]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): 2097-2111 (2018) - [j18]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) - [j17]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: 402-412 (2018) - [j16]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): 1820-1846 (2018) - [c10]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: 664-669 - 2017
- [j15]Hootan Dehghani, Seyed Morteza Babamir:
A GA based method for search-space reduction of chess game-tree. Appl. Intell. 47(3): 752-768 (2017) - [j14]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) - [j13]Negar Majma, Seyed Morteza Babamir, Amirhassan Monadjemi:
Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets. J. Medical Syst. 41(2): 27:1-27:21 (2017) - [j12]Hassan Ziafat, Seyed Morteza Babamir:
A method for the optimum selection of datacenters in geographically distributed clouds. J. Supercomput. 73(9): 4042-4081 (2017) - 2016
- [j11]Azam Andalib, Seyed Morteza Babamir, Alireza Faraji:
A New Sparse Representation Algorithm for 3D Human Pose Estimation. Comput. Informatics 35(6): 1338-1355 (2016) - [j10]Azam Davahli, Seyed Morteza Babamir:
Indefinite block ciphering based on variable and great length key. Secur. Commun. Networks 9(18): 5533-5546 (2016) - [j9]Sanaz Sheikhi, Seyed Morteza Babamir:
A predictive framework for load balancing clustered web servers. J. Supercomput. 72(2): 588-611 (2016) - [c9]Mahshid Helali Moghadam, Seyed Morteza Babamir, Meghdad Mirabi:
A Multi-Objective Optimization Model for Data-Intensive Workflow Scheduling in Data Grids. LCN Workshops 2016: 25-33 - 2015
- [j8]Seyed Morteza Babamir, Elmira Hassanzade, Mona Azimpour:
Predicting potential deadlocks in multithreaded programs. Concurr. Comput. Pract. Exp. 27(17): 5261-5287 (2015) - 2013
- [j7]Reza Babaee, Seyed Morteza Babamir:
Runtime verification of service-oriented systems: a well-rounded survey. Int. J. Web Grid Serv. 9(3): 213-267 (2013) - [j6]Seyed Morteza Babamir:
Specification and verification of reliability in dispatching multicast messages. J. Supercomput. 63(2): 612-635 (2013) - 2012
- [j5]Seyed Morteza Babamir:
M2M Architecture: Can It Realize Ubiquitous Computing in Daily life? KSII Trans. Internet Inf. Syst. 6(2): 566-579 (2012) - [j4]Seyed Morteza Babamir:
Constructing a Model-Based Software Monitor for the Insulin Pump Behavior. J. Medical Syst. 36(2): 829-840 (2012) - [j3]Seyed Morteza Babamir, Mehdi Borhani Dehkordi:
Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample. J. Medical Syst. 36(4): 2633-2648 (2012) - [j2]Seyed Morteza Babamir, Masoud Arabfard:
Improving Service Accessibility in Service-Oriented HIS. J. Medical Syst. 36(6): 4021-4030 (2012) - [j1]Seyed Morteza Babamir:
Constructing formal rules to verify message communication in distributed systems. J. Supercomput. 59(3): 1396-1418 (2012) - [p1]Seyed Morteza Babamir:
Developing a Web-Based Cooperative Environment to Software Project Development. Collaboration and the Semantic Web 2012: 246-270 - 2011
- [c8]Seyed Morteza Babamir, Mehdi Borhani Dehkordi:
An event based formal specification method to diabetic's behavior monitor system. WCIT 2011: 1304-1309 - 2010
- [c7]Seyed Morteza Babamir, Mojdeh Rahmanian:
Modeling and Analyzing CIIP Medical System Using Colored Petri-Nets. BIOCOMP 2010: 454-458 - [c6]Reyhane Nowrouzi, Seyed Morteza Babamir, Mehdi Dabbaghian, Mohsen Farrokhi, Farzad Azizkhani:
Analyzing Call Initiation Intrusion in Mobile Phones. Security and Management 2010: 57-62 - [c5]Seyed Morteza Babamir, Reyhane Nowrouzi, Hadi Naseri:
Mining Bluetooth Attacks in Smart Phones. NDT (1) 2010: 241-253 - [c4]Mojdeh Rahmanian, Seyed Morteza Babamir:
Demonstrating Performance Analysis of Web Services Using Petri-Nets and Logging. SWWS 2010: 62-69
2000 – 2009
- 2009
- [c3]Seyed Morteza Babamir, Seyyed Hosein Seyyedi Arani:
Modeling Timed Elaborate Requirements in Service-Oriented. SWWS 2009: 121-127 - 2008
- [c2]Seyed Morteza Babamir, Faezeh Sadat Babamir:
Behavioral Specification of Real-Time Requirements. APSEC 2008: 299-306 - 2005
- [c1]Seyed Morteza Babamir, S. Jalili:
Dynamic Analysis of Object-Oriented Programs Using State Machines and ECA Rules. IASSE 2005: 243-248
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
