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