Papers in Journals
- 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.
Showing 61-71 of 71 items.