| 41 | Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing | محمد علی سعادت جو,سید مرتضی بابامیر | Journal of AI and Data Mining | 2017-09-11 |
| 42 | Using a recurrent artificial neural network for dynamic self-adaptation of clusterbased web-server systems | ساناز شیخی,سید مرتضی بابامیر | APPL INTELL | 2017-09-11 |
| 43 | A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment | فاطمه عبادی فرد,سید مرتضی بابامیر | Concurrency & Computation, Practice and Experience | 2017-09-06 |
| 44 | Web Service Protection Using a Cryptography Layer on WSDL File | ارزو میرطالبی,سید مرتضی بابامیر | Journal of Advanced Mathematics and Applications | 2017-06-11 |
| 45 | An Innovative Model-Driven Slicing Approach for Testing Adaptive Software | ساناز شیخی,سید مرتضی بابامیر | Recent Patents on Computer Science | 2017-06-11 |
| 46 | Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizer | ازاده خلیلی اردلی,سید مرتضی بابامیر | CONCURR COMP-PRACT E | 2017-06-11 |
| 47 | A GA based method for search-space reduction of chess game-tree | هوتن دهقانی,سید مرتضی بابامیر | APPL INTELL | 2017-04-11 |
| 48 | A method for the optimum selection of datacenters in geographically distributed clouds | حسن ضیافت,سید مرتضی بابامیر | J SUPERCOMPUT | 2017-03-11 |
| 49 | QoS-aware web service composition using Gray Wolf Optimizer | Meysam Karimi ans Seyed Morteza Babamir | International Journal of Information & Communication Technology | 2017-02-11 |
| 50 | Specification and Verification of Medical Monitoring System Using Petri-nets | نگار مجمع,سید مرتضی بابامیر | Journal of Medical Signals and Sensors | 2014-07-12 |
| 51 | Run-time Verification of Service-oriented Systems: A Well-rounded Survey | رضا بابائی چشمه احمدرضائی,سید مرتضی بابامیر | International Journal of Web and Grid Services | 2013-08-06 |
| 52 | Specification and verification of reliability in dispatching multicast messages | سید مرتضی بابامیر | Journal of Supercomputing | 2013-02-09 |
| 53 | Improving Service Accessibility in Service-Oriented HIS | سید مرتضی بابامیر,مسعود عرب فرد | Journal of Medical Systems | 2012-12-10 |
| 54 | Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architecture | هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی | Journal of Information Systems and Telecommunication | 2012-10-10 |
| 55 | Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample | سید مرتضی بابامیر,مهدی برهانی | Journal of Medical Systems | 2012-08-10 |
| 56 | تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار | سید مرتضی بابامیر,ویدا احمدی ثابت | نشریه مهندسی برق و مهندسی کامپیوتر ایران | 2012-06-08 |
| 57 | Active Program Analysis Using Rule-Based Modification and Aspectation | سید مرتضی بابامیر | ُStudies in Informatics and Control | 2011-11-11 |
| 58 | 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 | 2011-03-15 |
| 59 | Constructing Formal Rules to verify Message Communication in Distributed Systems | سید مرتضی بابامیر | The Journal of Supercomputing | 2011-01-27 |
| 60 | Constructing a Model-Based Software Monitor for the Insulin Pump Behavior | سید مرتضی بابامیر | Journal of Medical Systems | 2010-07-13 |