مقالات در نشریات
- 61. هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی,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.
- 62. سید مرتضی بابامیر,مهدی برهانی,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.
- 63. سید مرتضی بابامیر,ویدا احمدی ثابت,تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار,نشریه مهندسی برق و مهندسی کامپیوتر ایران,Vol. 10,pp. 1,2012 06 08,ISC.
- 64. 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.
- 65. 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.
- 66. 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.
- 67. 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.
- 68. 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.
- 69. 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.
- 70. مینا چاوشی,سید مرتضی بابامیر,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,1970 01 01,SCOPUS ,JCR.
- 71. مینا چاوشی,سید مرتضی بابامیر,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،۲۰۱۷ ۹ ۰۱،ISI ,SCOPUS.
- ۷۳. محمد علی سعادت جو و سید مرتضی بابامیر،Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing،۲۰۱۷ ۹ ۰۱،ISC.
- ۷۴. مهشید هلالی مقدم و سید مرتضی بابامیر،Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling،۲۰۱۷ ۹ ۰۱،ISI ,SCOPUS.
- ۷۵. ازاده خلیلی اردلی و سید مرتضی بابامیر،Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizer،CONCURR COMP-PRACT E،۲۰۱۷ ۶ ۰۱،ISI ,SCOPUS.
- ۷۶. ساناز شیخی و سید مرتضی بابامیر،An Innovative Model-Driven Slicing Approach for Testing Adaptive Software،۲۰۱۷ ۶ ۰۱،SCOPUS.
- ۷۷. ارزو میرطالبی و سید مرتضی بابامیر،Web Service Protection Using a Cryptography Layer on WSDL File،۲۰۱۷ ۶ ۰۱،ISI.
- ۷۸. هوتن دهقانی و سید مرتضی بابامیر،A GA based method for search-space reduction of chess game-tree،APPL INTELL،۲۰۱۷ ۴ ۰۱،ISI ,SCOPUS.
- ۷۹. حسن ضیافت و سید مرتضی بابامیر،A method for the optimum selection of datacenters in geographically distributed clouds، J SUPERCOMPUT ،۲۰۱۷ ۳ ۰۱،ISI ,SCOPUS.
- ۸۰. میثم کریمی و سید مرتضی بابامیر،QoS-aware web service composition using Gray Wolf Optimizer،۲۰۱۷ ۲ ۰۱،ISC.
نمایش ۶۱ تا ۸۰ مورد از کل ۹۴ مورد.