مقالات در نشریات
# | عنوان مقاله | نویسندگان | نشریه | تاریخ انتشار |
---|---|---|---|---|
۱ | ارزیابی کمی خصیصه های کارایی، قابلیت اطمینان و امنیت در سبک داده مشترک، شی گرا و لوله وصافی | هدا بانکی -سید مرتضی بابامیر | IRANIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING (IJECE) | 0-0-01 |
۲ | یک رویکرد عامل گرا با قابلیت یادگیری برای کنترل و بهبود عملکرد دستگاه تنظیم ضربان قلب بر بستر ابر | نگار مجمع-سید مرتضی بابامیر-محمد حسین منجمی | 0-0-01 | |
۳ | Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis | اعظم عندلیب,سید مرتضی بابامیر | The Journal of Supercomputing | 0000-00-00 |
۴ | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | مینا چاوشی,سید مرتضی بابامیر | CAII transactions on intelligent technology | 0000-00-00 |
۵ | یک روش مبتنی بر دامنه برای شبیه¬سازی ناظر در کنترل نظارتی سیستم¬های گسسته | سید مرتضی بابامیر | سیستم های هوشمند در مهندسی برق | 1391/06/19 |
۶ | یک رویکرد عامل گرا با قابلیت یادگیری برای کنترل و بهبود عملکرد دستگاه تنظیم ضربان قلب بر بستر ابر | نگار مجمع,سید مرتضی بابامیر,محمد حسین منجمی | مهندسی برق و مهندسی کامپیوتر ایران | 1396/12/20 |
۷ | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | مینا چاوشی,سید مرتضی بابامیر | CAII transactions on intelligent technology | 1970-01-01 |
۸ | Synthesizing A Specification-Based Monitor For Safety Requirements | سید مرتضی بابامیر,سعید جلیلی | Iranian Journal of Science & Technology, Transaction B: Engineering | 2010-06-01 |
۹ | Making real-time systems fault tolerant: a specification-based approach | سید مرتضی بابامیر,سعید جلیلی | Journal of Scientific and Industrial Research | 2010-07-11 |
۱۰ | Constructing a Model-Based Software Monitor for the Insulin Pump Behavior | سید مرتضی بابامیر | Journal of Medical Systems | 2010-07-13 |
۱۱ | Constructing Formal Rules to verify Message Communication in Distributed Systems | سید مرتضی بابامیر | The Journal of Supercomputing | 2011-01-27 |
۱۲ | 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 |
۱۳ | Active Program Analysis Using Rule-Based Modification and Aspectation | سید مرتضی بابامیر | ُStudies in Informatics and Control | 2011-11-11 |
۱۴ | تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار | سید مرتضی بابامیر,ویدا احمدی ثابت | نشریه مهندسی برق و مهندسی کامپیوتر ایران | 2012-06-08 |
۱۵ | Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample | سید مرتضی بابامیر,مهدی برهانی | Journal of Medical Systems | 2012-08-10 |
۱۶ | Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architecture | هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی | Journal of Information Systems and Telecommunication | 2012-10-10 |
۱۷ | Improving Service Accessibility in Service-Oriented HIS | سید مرتضی بابامیر,مسعود عرب فرد | Journal of Medical Systems | 2012-12-10 |
۱۸ | Specification and verification of reliability in dispatching multicast messages | سید مرتضی بابامیر | Journal of Supercomputing | 2013-02-09 |
۱۹ | Run-time Verification of Service-oriented Systems: A Well-rounded Survey | رضا بابائی چشمه احمدرضائی,سید مرتضی بابامیر | International Journal of Web and Grid Services | 2013-08-06 |
۲۰ | Specification and Verification of Medical Monitoring System Using Petri-nets | نگار مجمع,سید مرتضی بابامیر | Journal of Medical Signals and Sensors | 2014-07-12 |
نمایش ۱ تا ۲۰ مورد از کل ۸۸ مورد.