استاد سیدمرتضی بابامیر
دانشکده: دانشکده مهندسی برق و کامپیوتر
-
گروه: مهندسی نرم افزار
مقطع تحصیلی: دکترای تخصصی |
My affiliation
مرتبه علمی: استاد
دکتری تخصصی مهندسی نرم افزار: دانشگاه تربیت مدرس
کارشناسی ارشد مهندسی نرم افزار: دانشگاه تربیت مدرس
کارشناسی مهندسی نرم افزار: دانشگاه فردوسی مشهد
مدیر گروه مهندسی کامپیوتر: از بهمن 99 تا کنون
مقالات در همایش ها
| # | عنوان مقاله | نویسندگان | همایش | تاریخ برگزاری همایش |
|---|---|---|---|---|
| ۱ | آزمون نرم افزار با رویکرد الگوریتم ژنتیک | شیما امیرصدری,سید مرتضی بابامیر | دهمین همایش ملی کامپیوتر و سیستم های هوشمند | 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 Engineering | 2014-10-29 |
| ۶ | Mutation Score Evaluation in Terms of Object-Oriented Metrics | مهشید هلالی مقدم,سید مرتضی بابامیر | 4th International Conference on Computer and Knowledge Engineering | 2014-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 Innovation | 2015-10-13 |
| ۱۰ | Formal Verification of UML Statecharts using the LOTOS Formal Language | محمد جوانی,بهزاد سلیمانی نیسیانی,سید مرتضی بابامیر | 2nd International Conference on Knowledge-based Engineering and Innovation | 2015-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 Technology | 2015-5-26 |
| ۱۸ | Automatic Verification of UML Statecharts by BOGOR Model Checking Tool | سید مرتضی بابامیر,بهزاد سلیمانی نیسیانی | The 7th International Conference on Information and Knowledge Technology | 2015-5-26 |
| ۱۹ | Runtime Verification of Pacemaker Using Fuzzy logic and Colored Petri-nets | نگار مجمع,سید مرتضی بابامیر,امیر حسین منجمی - دانشگاه اصفهان | 4th Iranian Joint Congress on Fuzzy and Intelligent Systems | 2015-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 |
نمایش ۱ تا ۲۰ مورد از کل ۵۵ مورد.