| ۶۱ | Making real-time systems fault tolerant: a specification-based approach | سید مرتضی بابامیر,سعید جلیلی | Journal of Scientific and Industrial Research | 2010-07-11 |
| ۶۲ | Synthesizing A Specification-Based Monitor For Safety Requirements | سید مرتضی بابامیر,سعید جلیلی | Iranian Journal of Science & Technology, Transaction B: Engineering | 2010-06-01 |
| ۶۳ | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | مینا چاوشی,سید مرتضی بابامیر | CAII transactions on intelligent technology | 1970-01-01 |
| ۶۴ | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | مینا چاوشی,سید مرتضی بابامیر | CAII transactions on intelligent technology | 0000-00-00 |
| ۶۵ | Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis | اعظم عندلیب,سید مرتضی بابامیر | The Journal of Supercomputing | 0000-00-00 |
| ۶۶ | Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling | مهشید هلالی مقدم-سید مرتضی بابامیر | | 2017-9-01 |
| ۶۷ | Using a recurrent artificial neural network for dynamic self-adaptation of clusterbased web-server systems | ساناز شیخی-سید مرتضی بابامیر | APPL INTELL | 2017-9-01 |
| ۶۸ | Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing | محمد علی سعادت جو-سید مرتضی بابامیر | | 2017-9-01 |
| ۶۹ | An Innovative Model-Driven Slicing Approach for Testing Adaptive Software | ساناز شیخی-سید مرتضی بابامیر | | 2017-6-01 |
| ۷۰ | Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizer | ازاده خلیلی اردلی-سید مرتضی بابامیر | CONCURR COMP-PRACT E | 2017-6-01 |
| ۷۱ | Web Service Protection Using a Cryptography Layer on WSDL File | ارزو میرطالبی-سید مرتضی بابامیر | | 2017-6-01 |
| ۷۲ | A GA based method for search-space reduction of chess game-tree | هوتن دهقانی-سید مرتضی بابامیر | APPL INTELL | 2017-4-01 |
| ۷۳ | A method for the optimum selection of datacenters in geographically distributed clouds | حسن ضیافت-سید مرتضی بابامیر | J SUPERCOMPUT | 2017-3-01 |
| ۷۴ | QoS-aware web service composition using Gray Wolf Optimizer | میثم کریمی-سید مرتضی بابامیر | | 2017-2-01 |
| ۷۵ | A class-based link prediction using Distance Dependent Chinese Restaurant Process | اعظم عندلیب-سید مرتضی بابامیر | PHYSICA A | 2016-4-01 |
| ۷۶ | A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment | ازاده خلیلی اردلی-سید مرتضی بابامیر | | 2016-3-01 |
| ۷۷ | A predictive framework for load balancing clustered web servers | ساناز شیخی-سید مرتضی بابامیر | J SUPERCOMPUT | 2016-2-01 |
| ۷۸ | Evaluation of Classifiers in Software Fault-Proneness Prediction | فاطمه کریمیان خوزانی-سید مرتضی بابامیر | | 2016-12-01 |
| ۷۹ | Indefinite block ciphering based on variable and great length key | اعظم دوهلی-سید مرتضی بابامیر | SECUR COMMUN NETW | 2016-12-01 |
| ۸۰ | Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets | نگار مجمع-سید مرتضی بابامیر-امیر حسین منجمی | J MED SYST | 2016-12-01 |