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

#عنوان مقالهنویسندگانهمایشتاریخ برگزاری همایش
 
۱آزمون نرم افزار با رویکرد الگوریتم ژنتیکشیما امیرصدری,سید مرتضی بابامیردهمین همایش ملی کامپیوتر و سیستم های هوشمند2013-9-18
۲شناسایی مدل رانده سرویس‌ها باخوشه‌‌بندی بر اساس چسبندگی، پیوستگی و دانه‌بندیمحمد دقاق زاده,سید مرتضی بابامیر,علیرضا فرجی ارمکیهمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۳مروری بر آزمون نرم‌افزارحامد قدیریان,سید مرتضی بابامیرهمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۴تولید خودکار داده‌آزمون از ضابطه¬های رسمی جبریفاطمه کریمیان خوزانی,سید مرتضی بابامیر,وجیهه نیکخواههمایش ملی فن آوری محاسبات و اطلاعات روندها و سرحدهای جدید2014-1-30
۵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-11-19
۸ارائه یک لایه رمزنگاری بر روی مستند توصیف وب سرویسارزو میرطالبی,سید مرتضی بابامیردومین کنفرانس جبر محاسباتی، نظریه محاسباتی اعداد و کاربردهای ایران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
۱۰Formal Verification of UML Statecharts using the LOTOS Formal Languageمحمد جوانی,بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر2nd International Conference on Knowledge-based Engineering and Innovation2015-11-5
۱۱Makespan Improvement of PSO-based Dynamic Scheduling in Cloud Environmentازاده خلیلی اردلی,سید مرتضی بابامیربیست و سومین کنفرانس مهندسی برق ایران2015-5-10
۱۲روشی برای انتخاب راهکارهای به اشتراک گذاری منابع در زیرساختهای ابر- حسگرسید علی شریفی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12
۱۳انتخاب موثر زمان پاسخ در مراکز داده ای ابر بوسیله مسیریابی مبتنی بر مجاورت برای مبادله خدماتعبدالکریم الهی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12
۱۴رتبه بندی سبک های معماری نرم افزار با ترکیب تحمل خطا بر اساس انتگرال فازیعبدالکریم الهی,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12
۱۵ارائه روشی برای کاهش زمان ضرب ماتریسهای بزرگ در بستر سیستم های توزیع شده با استفاده ازتکنولوژی MSMQحسن ضیافت,سید مرتضی بابامیراولین کنفرانس ملی فنآوری اطلاعات و ارتباطات2015-5-12
۱۶بررسی کارایی استفاده از الگوریتم ژنتیک برای جستجو در درخت بازی شطرنجهوتن دهقانی,سید مرتضی بابامیرهشتمین کنفرانس بین المللی انجمن ایرانی تحقیق در عملیات2015-5-21
۱۷Evaluating Software Architetural Styles based on Quality Features through Hierarchical Analysis and Fuzzy Integralعبدالکریم الهی,سید مرتضی بابامیرThe 7th International Conference on Information and Knowledge Technology2015-5-26
۱۸Automatic Verification of UML Statecharts by BOGOR Model Checking Toolسید مرتضی بابامیر,بهزاد سلیمانی نیسیانیThe 7th International Conference on Information and Knowledge Technology2015-5-26
۱۹Runtime Verification of Pacemaker Using Fuzzy logic and Colored Petri-netsنگار مجمع,سید مرتضی بابامیر,امیر حسین منجمی - دانشگاه اصفهان4th Iranian Joint Congress on Fuzzy and Intelligent Systems2015-9-9
۲۰Utilizing Fuzzy Colored Petri-nets to Monitor Cardiac Pacemaker Behaviorنگار مجمع,سید مرتضی بابامیر,امیر حسین منجمی2016 IEEE 10th International Conference on Application of Information and Communication Technologies (AICT)2016-10-12
نمایش ۱ تا ۲۰ مورد از کل ۵۴ مورد.