استاد
دانشکده: دانشکده مهندسی برق و کامپیوتر
گروه: مهندسی نرم افزار
مقطع تحصیلی: دکترای تخصصی
مرتبه علمی: استاد
دکتری تخصصی مهندسی نرم افزار: دانشگاه تربیت مدرس
کارشناسی ارشد مهندسی نرم افزار: دانشگاه تربیت مدرس
کارشناسی مهندسی نرم افزار: دانشگاه فردوسی مشهد
مدیر گروه مهندسی کامپیوتر: از بهمن 99 تا کنون
| # | عنوان مقاله | نویسندگان | همایش | تاریخ برگزاری همایش |
|---|---|---|---|---|
| ۴۱ | ارائه روشی برای کاهش زمان ضرب ماتریسهای بزرگ در بستر سیستم های توزیع شده با استفاده ازتکنولوژی MSMQ | حسن ضیافت,سید مرتضی بابامیر | اولین کنفرانس ملی فنآوری اطلاعات و ارتباطات | 2015-5-12 |
| ۴۲ | رتبه بندی سبک های معماری نرم افزار با ترکیب تحمل خطا بر اساس انتگرال فازی | عبدالکریم الهی,سید مرتضی بابامیر | اولین کنفرانس ملی فنآوری اطلاعات و ارتباطات | 2015-5-12 |
| ۴۳ | انتخاب موثر زمان پاسخ در مراکز داده ای ابر بوسیله مسیریابی مبتنی بر مجاورت برای مبادله خدمات | عبدالکریم الهی,سید مرتضی بابامیر | اولین کنفرانس ملی فنآوری اطلاعات و ارتباطات | 2015-5-12 |
| ۴۴ | روشی برای انتخاب راهکارهای به اشتراک گذاری منابع در زیرساختهای ابر- حسگر | سید علی شریفی,سید مرتضی بابامیر | اولین کنفرانس ملی فنآوری اطلاعات و ارتباطات | 2015-5-12 |
| ۴۵ | Makespan Improvement of PSO-based Dynamic Scheduling in Cloud Environment | ازاده خلیلی اردلی,سید مرتضی بابامیر | بیست و سومین کنفرانس مهندسی برق ایران | 2015-5-10 |
| ۴۶ | Formal Verification of UML Statecharts using the LOTOS Formal Language | محمد جوانی,بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر | 2nd International Conference on Knowledge-based Engineering and Innovation | 2015-11-5 |
| ۴۷ | ارائه یک لایه رمزنگاری بر روی مستند توصیف وب سرویس | ارزو میرطالبی,سید مرتضی بابامیر | دومین کنفرانس جبر محاسباتی، نظریه محاسباتی اعداد و کاربردهای ایران | 2015-10-13 |
| ۴۸ | Automatic Verification of UML State Chart by BOGOR Model Checking Tool | بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر | 2nd International Conference on Knowledge-based Engineering and Innovation | 2015-10-13 |
| ۴۹ | آزمون افراز فضای ورودی مبتنی بر توصیف رسمی | مهشید هلالی مقدم,سید مرتضی بابامیر | دومین کنفرانس دانش پژوهان کامپیوتر و فنآوری اطلاعات | 2014-11-19 |
| ۵۰ | Mutation Score Evaluation in Terms of Object-Oriented Metrics | مهشید هلالی مقدم,سید مرتضی بابامیر | 4th International Conference on Computer and Knowledge Engineering | 2014-10-29 |
| ۵۱ | Medical Software Assurance for Operational Performance Accuracy Using Software Agents | نگار مجمع,سید مرتضی بابامیر | 4th International Conference on Computer and Knowledge Engineering | 2014-10-29 |
| ۵۲ | تولید خودکار دادهآزمون از ضابطه¬های رسمی جبری | فاطمه کریمیان خوزانی,سید مرتضی بابامیر,وجیهه نیکخواه | همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید | 2014-1-30 |
| ۵۳ | مروری بر آزمون نرمافزار | حامد قدیریان,سید مرتضی بابامیر | همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید | 2014-1-30 |
| ۵۴ | شناسایی مدل رانده سرویسها باخوشهبندی بر اساس چسبندگی، پیوستگی و دانهبندی | محمد دقاق زاده,سید مرتضی بابامیر,علیرضا فرجی ارمکی | همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید | 2014-1-30 |
| ۵۵ | آزمون نرم افزار با رویکرد الگوریتم ژنتیک | شیما امیرصدری,سید مرتضی بابامیر | دهمین همایش ملی کامپیوتر و سیستم های هوشمند | 2013-9-18 |