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