سید مرتضی بابامیر

مقطع تحصیلی	سال اخذ مدرک	رشته و گرایش تحصیلی	دانشگاه
کارشناسی	۱۳۶۴	مهندسی نرم افزار	فردوسی مشهد
کارشناسی ارشد	۱۳۸۰	مهندسی نرم افزار	تربیت مدرس
دکترای تخصصی	۱۳۸۶	مهندسی نرم افزار	تربیت مدرس

محل خدمت	عنوان سمت	نوع استخدام	نوع همکاری	پایه
		رسمی قطعی	تمام وقت	۲۶

مقالات در نشریات

۱. نرجس ظهیری,سید مرتضی بابامیر،روشی برای پیاده سازی الگوها در ترکیب وب سرویس ها و انتخاب بهینه ترکیب با ساختار احتمالی،محاسبات نرم،شهریور 1400،ISC.
۲. مینا چاوشی,سید مرتضی بابامیر،استخراج قوانین از توصیف و مدل‌سازی آن‌ها با استفاده از شبکه‌های فازی پتری رنگی،محاسبات نرم،آبان 1401،ISC.
۳. عبدالکریم الهی,سید مرتضی بابامیر،یک روش ترکیبی اندازه های مرکزیت و خواص زیستی برای بهبود تشخیص کمپلکس های پروتئینی در شبهکه PPI وزنی،مجله انفورماتیک سلامت و زیست پزشکی،مجلد 6،شماره صفحات 46،2019 06 16،ISC ,IranMedex.
۴. نگار مجمع,سید مرتضی بابامیر,محمد حسین منجمی،یک رویکرد عامل گرا با قابلیت یادگیری برای کنترل و بهبود عملکرد دستگاه تنظیم ضربان قلب بر بستر ابر،مهندسی برق و مهندسی کامپیوتر ایران،مجلد 15،شماره صفحات 257،1396/12/20،ISC.
۵. سید مرتضی بابامیر،یک روش مبتنی بر دامنه برای شبیه¬سازی ناظر در کنترل نظارتی سیستم¬های گسسته،سیستم های هوشمند در مهندسی برق،مجلد 3،شماره صفحات 47،1391/06/19،ISC.
6. نرجس ظهیری,سید مرتضی بابامیر,Hybrid based QoS-aware selection of web services compositions,Future Generation Computer Systems,2025 07 12,JCR ,SCOPUS.
7. نرجس ظهیری,سید مرتضی بابامیر,A pattern-based and multi-objective architecture for selecting optimal compositions of web services,Expert Systems with Applications,2025 06 20,JCR ,SCOPUS.
8. نرجس ظهیری,سید مرتضی بابامیر,Quality‑aware web service composition using a hybrid summarization,The Journal of Supercomputing,2025 03 18,JCR ,SCOPUS.
9. نرجس ظهیری,سید مرتضی بابامیر,A Pattern and Summarization Based Optimization Algorithm to QoS-Aware Web Service Composition Selection,Journal of AI and Data Mining,2025 03 18,ISC.
10. شیما امیرصدری,سید مرتضی بابامیر,شهریار عرب,An Evolutionary Algorithm to Predict Super Secondary Structures of Proteins from Secondary Ones, A Case Study: β-LACTAMAZE Enzyme,Journal of cell and molecular research,2024 12 07,ISC.
11. سید مرتضی بابامیر,شیما امیرصدری,شهریار عرب,An Evolutionary Algorithm to Predict Super Secondary Structures of Proteins from Secondary Ones, A Case Study: β-LACTAMAZE Enzyme,Journal of cell and molecular research,2024 12 07,ISC.
12. مینا چاوشی,سید مرتضی بابامیر,A Petri Net Based Flexible Model for Reasoning and Behavior Modeling of Event-Based Systems,محاسبات نرم دانشگاه کاشان,2024 11 04,ISC.
13. N.Majma and S.M.Babamir,Modeling and Simulation of Fuzzy-rule Based WBAN using Multi-level Fuzzy Colored Petri-nets and Reinforcement Learning,Journal of Computational Science,2024 10 10,SCOPUS ,JCR.
14. E.Kholdi, S.M.Babamir,Reserve policy‑aware VM positioning based on prediction in multi‑cloud environment,The Journal of Supercomputing,2024 07 22,SCOPUS ,JCR.
15. A.Andalib and S.M.Babamir,Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis,The Journal of Supercomputing,2024 06 29,SCOPUS ,JCR.
16. M.Yousofi and S.M.Babamir,A hybrid energy‑aware algorithm for virtual machine placement in cloud computing,Computing,2024 04 03,SCOPUS ,JCR.
17. M.Chavoshi and S.M.Babamir,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,2023 10 16,SCOPUS ,JCR.
18. A.Andalib and S.M.Babamir,Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis,The Journal of Supercomputing,2023 05 29,SCOPUS ,JCR.
19. S. Doostali, S.M. Babamir, and M.Javani,Using a process algebra interface for verification and validation of UML statecharts,Computer Standards and Interfaces,2023 03 09,SCOPUS ,JCR.
20. نرجس ظهیری,سید مرتضی بابامیر,A METHOD TO SIMPLIFY PATTERNS WITH PROBABILISTIC STRUCTURE IN WEB SERVICE COMPOSITION,A METHOD TO SIMPLIFY PATTERNS WITH PROBABILISTIC STRUCTURE IN WEB SERVICE COMPOSITION,2022 12 13,ISC.
21. نرجس ظهیری,سید مرتضی بابامیر,A METHOD TO SIMPLIFY PATTERNS WITH PROBABILISTIC STRUCTURE IN WEB SERVICE COMPOSITION,مجله محاسبات نرم دانشگاه کاشان,2022 12 13,ISC.
22. بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر,A Novel Two-Step Classification Approach for Runtime Performance Improvement of Duplicate Bug Report Detection,The journal of Computer and Knowledge Engineering (CKE),2022 11 22,ISC.
23. بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر,A Novel Two-Step Classification Approach for Runtime Performance Improvement of Duplicate Bug Report Detection,The journal of Computer and Knowledge Engineering (CKE),2022 11 22,ISC.
24. سعید دوست علی,سید مرتضی بابامیر,مریم عینی کلشتری,CP-PGWO: multi-objective workflow scheduling for cloud computing using critical path,CLUSTER COMPUT,2021 07 03,SCOPUS ,JCR.
25. محسن شکرریز,سید مرتضی بابامیر,مقداد میرابی,Query processing optimization in broadcasting XML data in mobile communications,J SUPERCOMPUT,Vol. 77,pp. 1,2021 06 09,SCOPUS ,JCR.
26. فاطمه عبادی فرد,سید مرتضی بابامیر,Federated Geo-Distributed Clouds: Optimizing Resource Allocation Based on Request Type Using Autonomous and Multi-objective Resource Sharing Model,Big Data Research,Vol. 24,pp. 1,2021 01 15,SCOPUS ,JCR.
27. سعید دوست علی,سید مرتضی بابامیر,An energy efficient cluster head selection approach for performance improvement in network-coding-based wireless sensor networks with multiple sinks,COMPUT COMMUN,Vol. 164,pp. 188,2020 12 09,SCOPUS ,JCR.
28. محمد دقاق زاده,سید مرتضی بابامیر,A model driven and clustering method for service identification directed by metrics,SOFTWARE PRACT EXPER,2020 10 20,SCOPUS ,JCR.
29. محمد دقاق زاده,سید مرتضی بابامیر,A model driven and clustering method for service identification directed by metrics,SOFTWARE PRACT EXPER,2020 10 19,SCOPUS ,JCR.
30. عبدالکریم الهی,سید مرتضی بابامیر,Identification of Protein Complexes Based on Core‑Attachment Structure and Combination of Centrality Measures and Biological Properties in PPI Weighted Networks,PROTEIN J,2020 10 11,SCOPUS ,JCR.
31. عبدالکریم الهی,سید مرتضی بابامیر,Identification of Protein Complexes Based on Core‑Attachment Structure and Combination of Centrality Measures and Biological Properties in PPI Weighted Networks,PROTEIN J,2020 10 11,SCOPUS ,JCR.
32. فاطمه عبادی فرد,سید مرتضی بابامیر,A Modified Multi-Verse Optimizer Based Workflow Scheduling in Cloud Computing Using Trust-Based Mechanism,International Journal of Information and Communication Technology,Vol. 12,pp. 16,2020 10 10,ISC.
33. بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر,Masayoshi Aritsugi,Efficient feature extraction model for validation performance improvement of duplicate bug report detection in software bug triage systems,INFORM SOFTWARE TECH,Vol. 126,pp. 106344,2020 10 01,SCOPUS ,JCR.
34. فاطمه عبادی فرد,سید مرتضی بابامیر,Autonomic task scheduling algorithm for dynamic workloads through a load balancing technique for the cloud-computing environment,CLUSTER COMPUT,2020 09 03,SCOPUS ,JCR.
35. بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر,Masayoshi Aritsugi,Efficient Feature Extraction Model for Validation Performance Improvement of Duplicate Bug Report Detection in Software Bug Triage Systems,INFORM SOFTWARE TECH,Vol. 126,pp. 1,2020 05 26,SCOPUS ,JCR.
36. فاطمه عبادی فرد,سید مرتضی بابامیر,Scheduling scientific workflows on virtual machines using a Pareto and hypervolume based black hole optimization algorithm,J SUPERCOMPUT,Vol. 76,pp. 7635,2020 02 06,SCOPUS ,JCR.
37. بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر,Duplicate Detection Models for Bug Reports of Software Triage Systems: A Survey,Current Trends In Computer Sciences & Applications,Vol. 1,pp. 128,2019 12 17.
38. بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر,Duplicate Detection Models for Bug Reports of Software Triage Systems: A Survey,Current Trends In Computer Sciences & Applications,Vol. 1,pp. 128,2019 12 17.
39. بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر,Duplicate Detection Models for Bug Reports of Software Triage Systems: A Survey,Current Trends In Computer Sciences & Applications,Vol. 1,pp. 128,2019 12 17.
40. سید علی شریفی,سید مرتضی بابامیر,The clustering algorithm for efficient energy management in mobile ad-hoc networks,COMPUT NETW,Vol. 166,pp. 1,2019 11 06,SCOPUS ,JCR.
41. بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر,New Labeled Dataset of Interconnected Lexical Typos for Automatic Correction in the Bug Reports,SN Applied Sciences,Vol. 1,pp. 1385,2019 10 12,SCOPUS ,ISI-Listed.
42. محمد علی سعادت جو,سید مرتضی بابامیر,Test-data generation directed by program path coverage through imperialist competitive algorithm,SCI COMPUT PROGRAM,Vol. 184,pp. 1,2019 09 13,SCOPUS ,JCR.
43. وجیهه نیکخواه,سید مرتضی بابامیر,سید شهریار عرب,Estimating Bifurcating Consensus Phylogenetic Trees Using Evolutionary Imperialist Competitive Algorithm,CURR BIOINFORM,Vol. 14,pp. 1,2019 08 30,SCOPUS ,JCR.
44. سید علی شریفی,سید مرتضی بابامیر,Evaluation of Clustering Algorithms in Ad Hoc Mobile Networks,WIRELESS PERS COMMUN,Vol. 109,pp. 1,2019 08 26,SCOPUS ,JCR.
45. مهرداد قربانی,سید مرتضی بابامیر,Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning-based approach,CONCURR COMP-PRACT E,Vol. 32,pp. 1,2019 05 09,SCOPUS ,JCR.
46. حسن ضیافت,سید مرتضی بابامیر,A hierarchical structure for optimal resource allocation in geographically distributed clouds,FUTURE GENER COMP SY,Vol. 90,pp. 539,2018 08 11,ISI ,SCOPUS.
47. عبدالکریم الهی,سید مرتضی بابامیر,Identification of essential proteins based on a new combination of topological and biological features in weighted protein–protein interaction networks,IET SYST BIOL,Vol. 12,pp. 1,2018 06 11,ISI ,SCOPUS.
48. حسن ضیافت,سید مرتضی بابامیر,Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c‐mean and MOLP,SOFTWARE PRACT EXPER,Vol. 48,pp. 1820,2018 06 11,ISI ,SCOPUS.
49. نگار مجمع,سید مرتضی بابامیر,Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets,IEEE Transactions on Systems, Man, and Cybernetics: Systems,Vol. 11,pp. 1,2018 06 11,ISI ,SCOPUS.
50. فاطمه عبادی فرد,سید مرتضی بابامیر,A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environment,International Journal of Web Research,Vol. 1,pp. 1,2018 03 11,SID.
51. مهشید هلالی مقدم,سید مرتضی بابامیر,Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling,Journal of Computational Science,Vol. 24,pp. 402,2017 10 11,ISI ,SCOPUS.
52. محمد علی سعادت جو,سید مرتضی بابامیر,Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing,Journal of AI and Data Mining,Vol. 6,pp. 1,2017 09 11,ISC.
53. ساناز شیخی,سید مرتضی بابامیر,Using a recurrent artificial neural network for dynamic self-adaptation of clusterbased web-server systems,APPL INTELL,Vol. 10,pp. 1,2017 09 11,ISI ,SCOPUS.
54. F. Ebadifard and S.M. Babamir,A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment,Concurrency & Computation, Practice and Experience,Vol. 30,pp. 1,2017 09 06,SCOPUS ,JCR.
55. ارزو میرطالبی,سید مرتضی بابامیر,Web Service Protection Using a Cryptography Layer on WSDL File,Journal of Advanced Mathematics and Applications,Vol. 6,pp. 1,2017 06 11,ISI.
56. ازاده خلیلی اردلی,سید مرتضی بابامیر,Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizer,CONCURR COMP-PRACT E,Vol. 29,pp. 1,2017 06 11,ISI ,SCOPUS.
57. ساناز شیخی,سید مرتضی بابامیر,An Innovative Model-Driven Slicing Approach for Testing Adaptive Software,Recent Patents on Computer Science,Vol. 10,pp. 165,2017 06 11,SCOPUS.
58. هوتن دهقانی,سید مرتضی بابامیر,A GA based method for search-space reduction of chess game-tree,APPL INTELL,Vol. 47,pp. 1,2017 04 11,ISI ,SCOPUS.
59. حسن ضیافت,سید مرتضی بابامیر,A method for the optimum selection of datacenters in geographically distributed clouds,J SUPERCOMPUT,Vol. 73,pp. 4042,2017 03 11,ISI ,SCOPUS.
60. Meysam Karimi ans Seyed Morteza Babamir,QoS-aware web service composition using Gray Wolf Optimizer,International Journal of Information & Communication Technology,Vol. 9,pp. 9,2017 02 11,ISC.
61. N.Majma and S.M.Babamir,Specification and Verification of Medical Monitoring System Using Petri-nets,Journal of Medical Signals and Sensors,Vol. 4,pp. 181,2014 07 12,SCOPUS ,ISC ,JCR.
62. R. Babaee and S.M. Babamir,Run-time Verification of Service-oriented Systems: A Well-rounded Survey,International Journal of Web and Grid Services,Vol. 9,pp. 213,2013 08 06,SCOPUS ,JCR.
63. سید مرتضی بابامیر,Specification and verification of reliability in dispatching multicast messages,Journal of Supercomputing,Vol. 63,pp. 612,2013 02 09,SCOPUS ,JCR.
64. سید مرتضی بابامیر,مسعود عرب فرد,Improving Service Accessibility in Service-Oriented HIS,Journal of Medical Systems,Vol. 36,pp. 4021,2012 12 10,SCOPUS ,JCR.
65. هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی,Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architecture,Journal of Information Systems and Telecommunication,Vol. 1,pp. 57,2012 10 10,ISC.
66. سید مرتضی بابامیر,مهدی برهانی,Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample,Journal of Medical Systems,Vol. 36,pp. 2633,2012 08 10,SCOPUS ,JCR.
67. سید مرتضی بابامیر,ویدا احمدی ثابت,تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار,نشریه مهندسی برق و مهندسی کامپیوتر ایران,Vol. 10,pp. 1,2012 06 08,ISC.
68. S.M. Babamir,Active Program Analysis Using Rule-Based Modification and Aspectation,ُStudies in Informatics and Control,Vol. 20,pp. 381,2011 11 11,SCOPUS ,JCR.
69. S.M. Babamir,A Framework for Specifying Safe Behavior of the CIIP Medical System,Advances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems,Vol. 696,pp. 637,2011 03 15,SCOPUS ,JCR.
70. S.M. Babamir,Constructing Formal Rules to verify Message Communication in Distributed Systems,The Journal of Supercomputing,Vol. 59,pp. 1396,2011 01 27,SCOPUS ,JCR.
71. S.M. Babamir,Constructing a Model-Based Software Monitor for the Insulin Pump Behavior,Journal of Medical Systems,Vol. 36,pp. 829,2010 07 13,SCOPUS ,JCR.
72. S.M. Babamir and S.Jalili,Making real-time systems fault tolerant: a specification-based approach,Journal of Scientific and Industrial Research,Vol. 69,pp. 501,2010 07 11,SCOPUS ,JCR.
73. S.M. Babamir and S.Jalili,Synthesizing A Specification-Based Monitor For Safety Requirements,Iranian Journal of Science & Technology, Transaction B: Engineering,Vol. 34,pp. 235,2010 06 01,SCOPUS ,JCR.
74. مینا چاوشی,سید مرتضی بابامیر,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,1970 01 01,SCOPUS ,JCR.
75. مینا چاوشی,سید مرتضی بابامیر,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,0000 00 00,SCOPUS ,JCR.
۷۶. ساناز شیخی و سید مرتضی بابامیر،Using a recurrent artificial neural network for dynamic self-adaptation of clusterbased web-server systems،APPL INTELL،2017 9 01،ISI ,SCOPUS.
۷۷. محمد علی سعادت جو و سید مرتضی بابامیر،Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing،2017 9 01،ISC.
۷۸. مهشید هلالی مقدم و سید مرتضی بابامیر،Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling،2017 9 01،ISI ,SCOPUS.
۷۹. ازاده خلیلی اردلی و سید مرتضی بابامیر،Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizer،CONCURR COMP-PRACT E،2017 6 01،ISI ,SCOPUS.
۸۰. ساناز شیخی و سید مرتضی بابامیر،An Innovative Model-Driven Slicing Approach for Testing Adaptive Software،2017 6 01،SCOPUS.
۸۱. ارزو میرطالبی و سید مرتضی بابامیر،Web Service Protection Using a Cryptography Layer on WSDL File،2017 6 01،ISI.
۸۲. هوتن دهقانی و سید مرتضی بابامیر،A GA based method for search-space reduction of chess game-tree،APPL INTELL،2017 4 01،ISI ,SCOPUS.
۸۳. حسن ضیافت و سید مرتضی بابامیر،A method for the optimum selection of datacenters in geographically distributed clouds، J SUPERCOMPUT ،2017 3 01،ISI ,SCOPUS.
۸۴. میثم کریمی و سید مرتضی بابامیر،QoS-aware web service composition using Gray Wolf Optimizer،2017 2 01،ISC.
۸۵. اعظم عندلیب و سید مرتضی بابامیر،A class-based link prediction using Distance Dependent Chinese Restaurant Process،PHYSICA A،2016 4 01،ISI ,SCOPUS.
۸۶. ازاده خلیلی اردلی و سید مرتضی بابامیر،A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment،2016 3 01،ISC ,SID.
۸۷. ساناز شیخی و سید مرتضی بابامیر،A predictive framework for load balancing clustered web servers، J SUPERCOMPUT ،2016 2 01،ISI ,SCOPUS.
۸۸. فاطمه کریمیان خوزانی و سید مرتضی بابامیر،Evaluation of Classifiers in Software Fault-Proneness Prediction،2016 12 01،ISC.
۸۹. اعظم دوهلی و سید مرتضی بابامیر،Indefinite block ciphering based on variable and great length key،SECUR COMMUN NETW،2016 12 01،ISI ,SCOPUS.
۹۰. نگار مجمع , سید مرتضی بابامیر , امیر حسین منجمی،Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets،J MED SYST،2016 12 01،ISI ,SCOPUS.
۹۱. حسن ضیافت و سید مرتضی بابامیر،A Distributed Method for Multiplication of Large Matrices using MSMQ Middleware،2016 11 01،SCOPUS.
۹۲. حسن ضیافت , سید مرتضی بابامیر , مقداد میرابی،Increasing the Life of Wireless Sensors Networks: Proposing a Novel Routing Method،2016 11 01.
۹۳. اعظم عندلیب , سید مرتضی بابامیر , علیرضا فرجی ارمکی،A NEW SPARSE REPRESENTATION ALGORITHM FOR 3D HUMAN POSE ESTIMATION،COMPUT INFORM،2016 10 01،ISI ,SCOPUS.
۹۴. سید مرتضی بابامیر , المیرا حسن زاده , منا عظیم پور،Predicting potential deadlocks in multithreaded programs،CONCURR COMP-PRACT E،2015 6 01،ISI ,SCOPUS.
۹۵. سید مرتضی بابامیر , المیرا حسن زاده , منا عظیم پور،Predicting potential deadlocks in multithreaded programs،CONCURR COMP-PRACT E،2015 12 01،ISI ,SCOPUS.
۹۶. سید علی شریفی و سید مرتضی بابامیر،A Survey on Technical Methods for Analyzing and Predicting the Reliability of Large-Scale Distributed Systems،2014 12 01،ISC.
۹۷. هدا بانکی و سید مرتضی بابامیر،ارزیابی کمی خصیصه های کارایی، قابلیت اطمینان و امنیت در سبک داده مشترک، شی گرا و لوله وصافی،IRANIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING (IJECE)،0 0 01،ISC ,SID.
۹۸. نگار مجمع , سید مرتضی بابامیر , محمد حسین منجمی،یک رویکرد عامل گرا با قابلیت یادگیری برای کنترل و بهبود عملکرد دستگاه تنظیم ضربان قلب بر بستر ابر،0 0 01،ISC.

سیدمرتضی بابامیر

استاد سیدمرتضی بابامیر

My affiliation

سیدمرتضی بابامیر

سوابق تحصیلی

اطلاعات استخدامی

مقالات در همایش ها

مقالات در نشریات