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

#عنوان مقالهنویسندگاننشریهتاریخ انتشار
 
۱ارزیابی کمی خصیصه های کارایی، قابلیت اطمینان و امنیت در سبک داده مشترک، شی گرا و لوله وصافیهدا بانکی -سید مرتضی بابامیر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 Supercomputing0000-00-00
۴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 Requirementsسید مرتضی بابامیر,سعید جلیلیIranian Journal of Science & Technology, Transaction B: Engineering2010-06-01
۹Making real-time systems fault tolerant: a specification-based approachسید مرتضی بابامیر,سعید جلیلیJournal of Scientific and Industrial Research2010-07-11
۱۰Constructing a Model-Based Software Monitor for the Insulin Pump Behaviorسید مرتضی بابامیرJournal of Medical Systems2010-07-13
۱۱Constructing Formal Rules to verify Message Communication in Distributed Systemsسید مرتضی بابامیرThe Journal of Supercomputing2011-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 Systems2011-03-15
۱۳Active Program Analysis Using Rule-Based Modification and Aspectationسید مرتضی بابامیرُ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 Surveyرضا بابائی چشمه احمدرضائی,سید مرتضی بابامیرInternational Journal of Web and Grid Services2013-08-06
۲۰Specification and Verification of Medical Monitoring System Using Petri-netsنگار مجمع,سید مرتضی بابامیرJournal of Medical Signals and Sensors2014-07-12
نمایش ۱ تا ۲۰ مورد از کل ۸۸ مورد.