مقالات در همایش ها

#عنوان مقالهنویسندگانهمایشتاریخ برگزاری همایش
 
۴۱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 Innovation2015-11-5
۴۳ارائه یک لایه رمزنگاری بر روی مستند توصیف وب سرویسارزو میرطالبی,سید مرتضی بابامیردومین کنفرانس جبر محاسباتی، نظریه محاسباتی اعداد و کاربردهای ایران2015-10-13
۴۴Automatic Verification of UML State Chart by BOGOR Model Checking Toolبهزاد سلیمانی نیسیانی,سید مرتضی بابامیر2nd International Conference on Knowledge-based Engineering and Innovation2015-10-13
۴۵آزمون افراز فضای ورودی مبتنی بر توصیف رسمیمهشید هلالی مقدم,سید مرتضی بابامیردومین کنفرانس دانش پژوهان کامپیوتر و فنآوری اطلاعات2014-11-19
۴۶Medical Software Assurance for Operational Performance Accuracy Using Software Agentsنگار مجمع,سید مرتضی بابامیر4th International Conference on Computer and Knowledge Engineering2014-10-29
۴۷Mutation Score Evaluation in Terms of Object-Oriented Metricsمهشید هلالی مقدم,سید مرتضی بابامیر4th International Conference on Computer and Knowledge Engineering2014-10-29
۴۸شناسایی مدل رانده سرویس‌ها باخوشه‌‌بندی بر اساس چسبندگی، پیوستگی و دانه‌بندیمحمد دقاق زاده,سید مرتضی بابامیر,علیرضا فرجی ارمکیهمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۴۹مروری بر آزمون نرم‌افزارحامد قدیریان,سید مرتضی بابامیرهمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۵۰تولید خودکار داده‌آزمون از ضابطه¬های رسمی جبریفاطمه کریمیان خوزانی,سید مرتضی بابامیر,وجیهه نیکخواههمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۵۱آزمون نرم افزار با رویکرد الگوریتم ژنتیکشیما امیرصدری,سید مرتضی بابامیردهمین همایش ملی کامپیوتر و سیستم های هوشمند2013-9-18
نمایش ۴۱ تا ۵۱ مورد از کل ۵۱ مورد.