Professor S.Morteza Bababmir
babamir@kashanu.ac.ir
College: Faculty of Electrical and Computer Engineering
-
Department: Software engineering
Degree: Ph.D |
Articles
| # | Paper Title | Authors | Publication/Conference | Date | Type |
|---|---|---|---|---|---|
| 61 | Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architecture | هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی | Journal of Information Systems and Telecommunication | 2012-10-10 | Article In Publication |
| 62 | Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample | سید مرتضی بابامیر,مهدی برهانی | Journal of Medical Systems | 2012-08-10 | Article In Publication |
| 63 | تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار | سید مرتضی بابامیر,ویدا احمدی ثابت | نشریه مهندسی برق و مهندسی کامپیوتر ایران | 2012-06-08 | Article In Publication |
| 64 | Active Program Analysis Using Rule-Based Modification and Aspectation | S.M. Babamir | ُStudies in Informatics and Control | 2011-11-11 | Article In Publication |
| 65 | A Framework for Specifying Safe Behavior of the CIIP Medical System | S.M. Babamir | Advances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems | 2011-03-15 | Article In Publication |
| 66 | Constructing Formal Rules to verify Message Communication in Distributed Systems | S.M. Babamir | The Journal of Supercomputing | 2011-01-27 | Article In Publication |
| 67 | Constructing a Model-Based Software Monitor for the Insulin Pump Behavior | S.M. Babamir | Journal of Medical Systems | 2010-07-13 | Article In Publication |
| 68 | Making real-time systems fault tolerant: a specification-based approach | S.M. Babamir and S.Jalili | Journal of Scientific and Industrial Research | 2010-07-11 | Article In Publication |
| 69 | Synthesizing A Specification-Based Monitor For Safety Requirements | S.M. Babamir and S.Jalili | Iranian Journal of Science & Technology, Transaction B: Engineering | 2010-06-01 | Article In Publication |
| 70 | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | مینا چاوشی,سید مرتضی بابامیر | CAII transactions on intelligent technology | 1970-01-01 | Article In Publication |
| 71 | یک رویکرد عامل گرا با قابلیت یادگیری برای کنترل و بهبود عملکرد دستگاه تنظیم ضربان قلب بر بستر ابر | نگار مجمع,سید مرتضی بابامیر,محمد حسین منجمی | مهندسی برق و مهندسی کامپیوتر ایران | 1396/12/20 | Article In Publication |
| 72 | یک روش مبتنی بر دامنه برای شبیه¬سازی ناظر در کنترل نظارتی سیستم¬های گسسته | سید مرتضی بابامیر | سیستم های هوشمند در مهندسی برق | 1391/06/19 | Article In Publication |
| 73 | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | مینا چاوشی,سید مرتضی بابامیر | CAII transactions on intelligent technology | 0000-00-00 | Article In Publication |
| 74 | کاهش تاخیر انتقال در محیط محاسبات لبه سیار با استفاده از روش یادگیری عمیق | ثریا غراوی,سید مرتضی بابامیر | ششمین کنفرانس بین المللی انفورماتیک ایران | 2025-02-26 - 2025-02-27 | Article In Conference |
| 75 | IoT-Based Model in Smart Urban Traffic Control: Graph theory and Genetic Algorithm | Saeed Doostali,محمد شیرعلیزاده دزفولی,Behzad Soleimani Neysiani | 11th International (Virtual) Conference on Information and Knowledge Technology (IKT2020) | 2020-12-22 - 2020-12-23 | Article In Conference |
| 76 | تبدیل خودکار نمودارهای حالت UML به سیستم‌های گذار برچسب‌دار | علی ملک ابادی,سید مرتضی بابامیر | نوزدهمین کنفرانس سیستم های هوشمند ایران | 2024-10-23 - 2024-10-24 | Article In Conference |
| 77 | انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از الگوریتم بهبود یافته SPEAII | نرجس ظهیری,سید مرتضی بابامیر | کنفرانس ملی آخرین دستاوردهای مهندسی داده و دانش و محاسبات نرم | 2021-09-21 - 2021-09-21 | Article In Conference |
| 78 | انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از الگوریتم بهبود یافته SPEAII | نرجس ظهیری,سید مرتضی بابامیر | کنفرانس ملی آخرین دستاوردهای مهندسی داده و دانش و محاسبات نرم | 2021-09-21 - 2021-09-21 | Article In Conference |
| 79 | انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از الگوریتم بهبود یافته SPEAII | نرجس ظهیری,سید مرتضی بابامیر | کنفرانس ملی آخرین دستاوردهای مهندسی داده و دانش و محاسبات نرم | 2021-09-21 - 2021-09-21 | Article In Conference |
| 80 | Auto Scaling in Mobile Edge Computing to Reduce Response Time and Operational Costs | Sorayya Gharravi | 19th Iranian Conference on Intelligent Systems, 2024 | 2024-10-23 - 2024-10-24 | Article In Conference |
Showing 61-80 of 90 items.