مقالات در نشریات
- 61. 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.
- 62. 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.
- 63. 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.
- 64. 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.
- 65. 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.
- 66. 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.
- 67. مینا چاوشی,سید مرتضی بابامیر,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,1970 01 01,SCOPUS ,JCR.
- 68. مینا چاوشی,سید مرتضی بابامیر,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.
- ۷۸. اعظم عندلیب و سید مرتضی بابامیر،A class-based link prediction using Distance Dependent Chinese Restaurant Process،PHYSICA A،۲۰۱۶ ۴ ۰۱،ISI ,SCOPUS.
- ۷۹. ازاده خلیلی اردلی و سید مرتضی بابامیر،A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment،۲۰۱۶ ۳ ۰۱،ISC ,SID.
- ۸۰. ساناز شیخی و سید مرتضی بابامیر،A predictive framework for load balancing clustered web servers، J SUPERCOMPUT ،۲۰۱۶ ۲ ۰۱،ISI ,SCOPUS.
نمایش ۶۱ تا ۸۰ مورد از کل ۹۱ مورد.