مقالات در نشریات

#عنوان مقالهنویسندگاننشریهتاریخ انتشار
 
۱یک رویکرد عامل گرا با قابلیت یادگیری برای کنترل و بهبود عملکرد دستگاه تنظیم ضربان قلب بر بستر ابرنگار مجمع-سید مرتضی بابامیر-محمد حسین منجمی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 technology0000-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 technology1970-01-01
۷Synthesizing A Specification-Based Monitor For Safety RequirementsS.M. Babamir and S.JaliliIranian Journal of Science & Technology, Transaction B: Engineering2010-06-01
۸Making real-time systems fault tolerant: a specification-based approachS.M. Babamir and S.JaliliJournal of Scientific and Industrial Research2010-07-11
۹Constructing a Model-Based Software Monitor for the Insulin Pump BehaviorS.M. BabamirJournal of Medical Systems2010-07-13
۱۰Constructing Formal Rules to verify Message Communication in Distributed SystemsS.M. BabamirThe Journal of Supercomputing2011-01-27
۱۱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
۱۲Active Program Analysis Using Rule-Based Modification and AspectationS.M. BabamirُStudies in Informatics and Control2011-11-11
۱۳تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزارسید مرتضی بابامیر,ویدا احمدی ثابتنشریه مهندسی برق و مهندسی کامپیوتر ایران2012-06-08
۱۴Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sampleسید مرتضی بابامیر,مهدی برهانیJournal of Medical Systems2012-08-10
۱۵Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architectureهدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتیJournal of Information Systems and Telecommunication2012-10-10
۱۶Improving Service Accessibility in Service-Oriented HISسید مرتضی بابامیر,مسعود عرب فردJournal of Medical Systems2012-12-10
۱۷Specification and verification of reliability in dispatching multicast messagesسید مرتضی بابامیرJournal of Supercomputing2013-02-09
۱۸Run-time Verification of Service-oriented Systems: A Well-rounded SurveyR. Babaee and S.M. BabamirInternational Journal of Web and Grid Services2013-08-06
۱۹Specification and Verification of Medical Monitoring System Using Petri-netsN.Majma and S.M.BabamirJournal of Medical Signals and Sensors2014-07-12
۲۰A Survey on Technical Methods for Analyzing and Predicting the Reliability of Large-Scale Distributed Systemsسید علی شریفی-سید مرتضی بابامیر2014-12-01
نمایش ۱ تا ۲۰ مورد از کل ۹۱ مورد.