مقالات در همایش ها
- ۴۱. سید علی شریفی,سید مرتضی بابامیر،روشی برای انتخاب راهکارهای به اشتراک گذاری منابع در زیرساختهای ابر- حسگر،اولین کنفرانس ملی فنآوری اطلاعات و ارتباطات،تهران،۲۰۱۵ ۵ ۱۲.
- ۴۲. عبدالکریم الهی,سید مرتضی بابامیر،انتخاب موثر زمان پاسخ در مراکز داده ای ابر بوسیله مسیریابی مبتنی بر مجاورت برای مبادله خدمات،اولین کنفرانس ملی فنآوری اطلاعات و ارتباطات،تهران،۲۰۱۵ ۵ ۱۲.
- ۴۳. عبدالکریم الهی,سید مرتضی بابامیر،رتبه بندی سبک های معماری نرم افزار با ترکیب تحمل خطا بر اساس انتگرال فازی،اولین کنفرانس ملی فنآوری اطلاعات و ارتباطات،تهران،۲۰۱۵ ۵ ۱۲.
- ۴۴. ازاده خلیلی اردلی,سید مرتضی بابامیر،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،مشهد،۲۰۱۴ ۱۰ ۲۹.
- ۵۱. فاطمه کریمیان خوزانی,سید مرتضی بابامیر,وجیهه نیکخواه،تولید خودکار داده‌آزمون از ضابطه¬های رسمی جبری،همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید،ملایر،۲۰۱۴ ۱ ۳۰.
- ۵۲. حامد قدیریان,سید مرتضی بابامیر،مروری بر آزمون نرم‌افزار،همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید،ملایر،۲۰۱۴ ۱ ۳۰.
- ۵۳. محمد دقاق زاده,سید مرتضی بابامیر,علیرضا فرجی ارمکی،شناسایی مدل رانده سرویس‌ها باخوشه‌‌بندی بر اساس چسبندگی، پیوستگی و دانه‌بندی،همایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید،ملایر،۲۰۱۴ ۱ ۳۰.
- ۵۴. شیما امیرصدری,سید مرتضی بابامیر،آزمون نرم افزار با رویکرد الگوریتم ژنتیک،دهمین همایش ملی کامپیوتر و سیستم های هوشمند،تهران،۲۰۱۳ ۹ ۱۸.
نمایش ۴۱ تا ۵۴ مورد از کل ۵۴ مورد.