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


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

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

استاد

babamir@kashanu.ac.ir

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

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

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

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

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

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

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

My affiliation

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

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

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

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

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

نمایش بیشتر

مقالات

#عنوان مقالهنویسندگاننشریه/همایشتاریخنوع
 
۱۰۱Predicting potential deadlocks in multithreaded programsسید مرتضی بابامیر-المیرا حسن زاده -منا عظیم پورCONCURR COMP-PRACT E2015-6-01مقاله در نشریه
۱۰۲Automatic Verification of UML Statecharts by BOGOR Model Checking Toolسید مرتضی بابامیر,بهزاد سلیمانی نیسیانیThe 7th International Conference on Information and Knowledge Technology2015-5-26مقاله در همایش
۱۰۳Evaluating Software Architetural Styles based on Quality Features through Hierarchical Analysis and Fuzzy Integralعبدالکریم الهی,سید مرتضی بابامیرThe 7th International Conference on Information and Knowledge Technology2015-5-26مقاله در همایش
۱۰۴بررسی کارایی استفاده از الگوریتم ژنتیک برای جستجو در درخت بازی شطرنجهوتن دهقانی,سید مرتضی بابامیرهشتمین کنفرانس بین المللی انجمن ایرانی تحقیق در عملیات2015-5-21مقاله در همایش
۱۰۵روشی برای انتخاب راهکارهای به اشتراک گذاری منابع در زیرساختهای ابر- حسگرسید علی شریفی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12مقاله در همایش
۱۰۶انتخاب موثر زمان پاسخ در مراکز داده ای ابر بوسیله مسیریابی مبتنی بر مجاورت برای مبادله خدماتعبدالکریم الهی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12مقاله در همایش
۱۰۷رتبه بندی سبک های معماری نرم افزار با ترکیب تحمل خطا بر اساس انتگرال فازیعبدالکریم الهی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12مقاله در همایش
۱۰۸ارائه روشی برای کاهش زمان ضرب ماتریسهای بزرگ در بستر سیستم های توزیع شده با استفاده ازتکنولوژی MSMQحسن ضیافت,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12مقاله در همایش
۱۰۹Makespan Improvement of PSO-based Dynamic Scheduling in Cloud Environmentازاده خلیلی اردلی,سید مرتضی بابامیربیست و سومین کنفرانس مهندسی برق ایران2015-5-10مقاله در همایش
۱۱۰A Survey on Technical Methods for Analyzing and Predicting the Reliability of Large-Scale Distributed Systemsسید علی شریفی-سید مرتضی بابامیر2014-12-01مقاله در نشریه
۱۱۱آزمون افراز فضای ورودی مبتنی بر توصیف رسمیمهشید هلالی مقدم,سید مرتضی بابامیردومین کنفرانس دانش پژوهان کامپیوتر و فنآوری اطلاعات2014-11-19مقاله در همایش
۱۱۲Mutation Score Evaluation in Terms of Object-Oriented Metricsمهشید هلالی مقدم,سید مرتضی بابامیر4th International Conference on Computer and Knowledge Engineering2014-10-29مقاله در همایش
۱۱۳Medical Software Assurance for Operational Performance Accuracy Using Software Agentsنگار مجمع,سید مرتضی بابامیر4th International Conference on Computer and Knowledge Engineering2014-10-29مقاله در همایش
۱۱۴Specification and Verification of Medical Monitoring System Using Petri-netsN.Majma and S.M.BabamirJournal of Medical Signals and Sensors2014-07-12مقاله در نشریه
۱۱۵تولید خودکار داده‌آزمون از ضابطه¬های رسمی جبریفاطمه کریمیان خوزانی,سید مرتضی بابامیر,وجیهه نیکخواههمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30مقاله در همایش
۱۱۶مروری بر آزمون نرم‌افزارحامد قدیریان,سید مرتضی بابامیرهمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30مقاله در همایش
۱۱۷شناسایی مدل رانده سرویس‌ها باخوشه‌‌بندی بر اساس چسبندگی، پیوستگی و دانه‌بندیمحمد دقاق زاده,سید مرتضی بابامیر,علیرضا فرجی ارمکیهمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30مقاله در همایش
۱۱۸آزمون نرم افزار با رویکرد الگوریتم ژنتیکشیما امیرصدری,سید مرتضی بابامیردهمین همایش ملی کامپیوتر و سیستم های هوشمند2013-9-18مقاله در همایش
۱۱۹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 reliability in dispatching multicast messagesسید مرتضی بابامیرJournal of Supercomputing2013-02-09مقاله در نشریه
نمایش ۱۰۱ تا ۱۲۰ مورد از کل ۱۵۳ مورد.