رزومه وب سایت شخصی


EN
سیدمرتضی بابامیر

سیدمرتضی بابامیر

استاد

babamir@kashanu.ac.ir

دانشکده: دانشکده مهندسی برق و کامپیوتر

گروه: مهندسی نرم افزار

مقطع تحصیلی: دکترای تخصصی

رزومه وب سایت شخصی
EN
سیدمرتضی بابامیر

استاد سیدمرتضی بابامیر

babamir@kashanu.ac.ir
دانشکده: دانشکده مهندسی برق و کامپیوتر - گروه: مهندسی نرم افزار مقطع تحصیلی: دکترای تخصصی |

Please see the following link
http://se.kashanu.ac.ir/babamir

My affiliation

مرتبه علمی: استاد

دکتری تخصصی مهندسی نرم افزار: دانشگاه تربیت مدرس

کارشناسی ارشد مهندسی نرم افزار: دانشگاه تربیت مدرس

کارشناسی مهندسی نرم افزار: دانشگاه فردوسی مشهد

مدیر گروه مهندسی کامپیوتر: از بهمن 99 تا کنون

نمایش بیشتر

مقالات

#عنوان مقالهنویسندگاننشریه/همایشتاریخنوع
 
۱۲۱Improving Service Accessibility in Service-Oriented HISسید مرتضی بابامیر,مسعود عرب فردJournal of Medical Systems2012-12-10مقاله در نشریه
۱۲۲Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architectureهدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتیJournal of Information Systems and Telecommunication2012-10-10مقاله در نشریه
۱۲۳Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sampleسید مرتضی بابامیر,مهدی برهانیJournal of Medical Systems2012-08-10مقاله در نشریه
۱۲۴تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزارسید مرتضی بابامیر,ویدا احمدی ثابتنشریه مهندسی برق و مهندسی کامپیوتر ایران2012-06-08مقاله در نشریه
۱۲۵Active Program Analysis Using Rule-Based Modification and AspectationS.M. BabamirُStudies in Informatics and Control2011-11-11مقاله در نشریه
۱۲۶A Framework for Specifying Safe Behavior of the CIIP Medical SystemS.M. BabamirAdvances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems2011-03-15مقاله در نشریه
۱۲۷Constructing Formal Rules to verify Message Communication in Distributed SystemsS.M. BabamirThe Journal of Supercomputing2011-01-27مقاله در نشریه
۱۲۸Constructing a Model-Based Software Monitor for the Insulin Pump BehaviorS.M. BabamirJournal of Medical Systems2010-07-13مقاله در نشریه
۱۲۹Making real-time systems fault tolerant: a specification-based approachS.M. Babamir and S.JaliliJournal of Scientific and Industrial Research2010-07-11مقاله در نشریه
۱۳۰Synthesizing A Specification-Based Monitor For Safety RequirementsS.M. Babamir and S.JaliliIranian Journal of Science & Technology, Transaction B: Engineering2010-06-01مقاله در نشریه
۱۳۱یک رویکرد عامل گرا با قابلیت یادگیری برای کنترل و بهبود عملکرد دستگاه تنظیم ضربان قلب بر بستر ابرنگار مجمع-سید مرتضی بابامیر-محمد حسین منجمی0-0-01مقاله در نشریه
۱۳۲ارزیابی کمی خصیصه های کارایی، قابلیت اطمینان و امنیت در سبک داده مشترک، شی گرا و لوله وصافیهدا بانکی -سید مرتضی بابامیرIRANIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING (IJECE)0-0-01مقاله در نشریه
۱۳۳Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Softwareمینا چاوشی,سید مرتضی بابامیرCAII transactions on intelligent technology1970-01-01مقاله در نشریه
۱۳۴یک رویکرد عامل گرا با قابلیت یادگیری برای کنترل و بهبود عملکرد دستگاه تنظیم ضربان قلب بر بستر ابرنگار مجمع,سید مرتضی بابامیر,محمد حسین منجمیمهندسی برق و مهندسی کامپیوتر ایران1396/12/20مقاله در نشریه
۱۳۵یک روش مبتنی بر دامنه برای شبیه¬سازی ناظر در کنترل نظارتی سیستم¬های گسستهسید مرتضی بابامیرسیستم های هوشمند در مهندسی برق1391/06/19مقاله در نشریه
۱۳۶Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Softwareمینا چاوشی,سید مرتضی بابامیرCAII transactions on intelligent technology0000-00-00مقاله در نشریه
۱۳۷Fast Duplicate Bug Reports Detector Training using Sampling for Dimension ReductionBehzad Soleimani Neysiani,Saeed Doostali,زهرا امین الرعایایی11th International (Virtual) Conference on Information and Knowledge Technology (IKT2020)2020-12-22 - 2020-12-23مقاله در همایش
۱۳۸تبدیل خودکار نمودارهای حالت UML به سیستم‌های گذار برچسب‌دارعلی ملک ابادی,سید مرتضی بابامیرنوزدهمین کنفرانس سیستم های هوشمند ایران2024-10-23 - 2024-10-24مقاله در همایش
۱۳۹انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از ‏الگوریتم بهبود یافته ‏SPEAIIنرجس ظهیری,سید مرتضی بابامیرکنفرانس ملی آخرین دستاوردهای مهندسی داده و دانش و محاسبات نرم2021-09-21 - 2021-09-21مقاله در همایش
۱۴۰انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از ‏الگوریتم بهبود یافته ‏SPEAIIنرجس ظهیری,سید مرتضی بابامیرکنفرانس ملی آخرین دستاوردهای مهندسی داده و دانش و محاسبات نرم2021-09-21 - 2021-09-21مقاله در همایش
نمایش ۱۲۱ تا ۱۴۰ مورد از کل ۱۵۳ مورد.