Papers in Journals
- 41. محمد علی سعادت جو,سید مرتضی بابامیر,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.
- 42. ساناز شیخی,سید مرتضی بابامیر,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.
- 43. فاطمه عبادی فرد,سید مرتضی بابامیر,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.
- 44. ارزو میرطالبی,سید مرتضی بابامیر,Web Service Protection Using a Cryptography Layer on WSDL File,Journal of Advanced Mathematics and Applications,Vol. 6,pp. 1,2017 06 11,ISI.
- 45. ساناز شیخی,سید مرتضی بابامیر,An Innovative Model-Driven Slicing Approach for Testing Adaptive Software,Recent Patents on Computer Science,Vol. 10,pp. 165,2017 06 11,SCOPUS.
- 46. ازاده خلیلی اردلی,سید مرتضی بابامیر,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.
- 47. هوتن دهقانی,سید مرتضی بابامیر,A GA based method for search-space reduction of chess game-tree,APPL INTELL,Vol. 47,pp. 1,2017 04 11,ISI ,SCOPUS.
- 48. حسن ضیافت,سید مرتضی بابامیر,A method for the optimum selection of datacenters in geographically distributed clouds,J SUPERCOMPUT,Vol. 73,pp. 4042,2017 03 11,ISI ,SCOPUS.
- 49. 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.
- 50. نگار مجمع,سید مرتضی بابامیر,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.
- 51. رضا بابائی چشمه احمدرضائی,سید مرتضی بابامیر,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.
- 52. سید مرتضی بابامیر,Specification and verification of reliability in dispatching multicast messages,Journal of Supercomputing,Vol. 63,pp. 612,2013 02 09,SCOPUS ,JCR.
- 53. سید مرتضی بابامیر,مسعود عرب فرد,Improving Service Accessibility in Service-Oriented HIS,Journal of Medical Systems,Vol. 36,pp. 4021,2012 12 10,SCOPUS ,JCR.
- 54. هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی,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.
- 55. سید مرتضی بابامیر,مهدی برهانی,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.
- 56. سید مرتضی بابامیر,ویدا احمدی ثابت,تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار,نشریه مهندسی برق و مهندسی کامپیوتر ایران,Vol. 10,pp. 1,2012 06 08,ISC.
- 57. سید مرتضی بابامیر,Active Program Analysis Using Rule-Based Modification and Aspectation,ُStudies in Informatics and Control,Vol. 20,pp. 381,2011 11 11,SCOPUS ,JCR.
- 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,Vol. 696,pp. 637,2011 03 15,SCOPUS ,JCR.
- 59. سید مرتضی بابامیر,Constructing Formal Rules to verify Message Communication in Distributed Systems,The Journal of Supercomputing,Vol. 59,pp. 1396,2011 01 27,SCOPUS ,JCR.
- 60. سید مرتضی بابامیر,Constructing a Model-Based Software Monitor for the Insulin Pump Behavior,Journal of Medical Systems,Vol. 36,pp. 829,2010 07 13,SCOPUS ,JCR.
Showing 41-60 of 65 items.