دکتر سید مرتضی بابامیر
دکتر سید مرتضی بابامیر
Dr. Seyed Morteza Babamir
استاد دانشکده مهندسی برق و کامپیوتر گروه:مهندسی کامپیوتر دانشگاه کاشان
اطلاعات فوق آخرین داده هایی است که توسط مجموعه سیویلیکا برای مشخصات ایشان ثبت شده است.
ساختار اجرایی و هیات علمی کنفرانسها، ژورنالها و مجلات تخصصی ایران
دکتر سید مرتضی بابامیر
Dr. Seyed Morteza Babamir
استاد دانشکده مهندسی برق و کامپیوتر گروه:مهندسی کامپیوتر دانشگاه کاشان
اطلاعات فوق آخرین داده هایی است که توسط مجموعه سیویلیکا برای مشخصات ایشان ثبت شده است.
لیست مقالات زیر به صورت خودکار بر اساس نام و نام خانوادگی از مجموعه مقالات نمایه شده در پایگاه سیویلیکا استخراج شده است و ممکن است به دلیل تشابه اسمی، دقیق نباشد.
مقالات ژورنالی| ردیف | عنوان مقاله | ژورنال منتشر شده | شماره و دوره |
|---|---|---|---|
| 1 | A Method for Assessing Maintainability of Software Architectural Styles in Self-healing Systems by Measuring Coupling and Cohesion (دریافت مقاله) | مجله محاسبات و امنیت | دوره: 2، شماره: 1 |
| 2 | A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environment (دریافت مقاله) | فصلنامه بین المللی وب پژوهی | دوره: 1، شماره: 1 |
| 3 | A Novel Two-Step Classification Approach for Runtime Performance Improvement of Duplicate Bug Report Detection (دریافت مقاله) | مجله مهندسی کامپیوتر و دانش | دوره: 6، شماره: 1 |
| 4 | A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment (دریافت مقاله) | مجله بین المللی ارتباطات و فناوری اطلاعات | دوره: 8، شماره: 1 |
| 5 | A Specification-Based Approach to Generate Verification Rules of Reactive Software (دریافت مقاله) | فصلنامه مهندسی برق مدرس | دوره: 10، شماره: 1 |
| 6 | استخراج قوانین از توصیف و مدل سازی آنها با استفاده از شبکه های پتری فازی رنگی (دریافت مقاله) | مجله محاسبات نرم | دوره: 11، شماره: 1 |
| 7 | enhancing efficiency of softwarw fault tolerance techniques in satellite motion system (دریافت مقاله) | فصلنامه سیستم های اطلاعاتی و مخابرات | دوره: 2، شماره: 7 |
| 8 | Prediction of Deadlocks in Concurrent Programs Using Neural Network (دریافت مقاله) | فصلنامه سیستم های اطلاعاتی و مخابرات | دوره: 1، شماره: 1 |
| 9 | QoS-aware web service composition using Gray Wolf Optimizer (دریافت مقاله) | مجله بین المللی ارتباطات و فناوری اطلاعات | دوره: 9، شماره: 1 |
| 10 | Ranking of Common Architectural Styles Based on Availability, Security and Performance Quality Attributes (دریافت مقاله) | مجله محاسبات و امنیت | دوره: 1، شماره: 2 |
| 11 | Runtime verification of programs using rule-based active system (دریافت مقاله) | دوفصلنامه مرکز پژوهشی ریاضی ماهانی | دوره: 1، شماره: 1 |
| 12 | روشی برای ساده سازی الگوها در ترکیب وب سرویس ها و انتخاب بهینه ترکیب با ساختار احتمالی (دریافت مقاله) | مجله محاسبات نرم | دوره: 9، شماره: 2 |
| 13 | شبیه سازی پایشگر در کنترل سرپرستی - یک روش مبتنی بر دامنه (دریافت مقاله) | مجله هوش محاسباتی در مهندسی برق | دوره: 3، شماره: 1 |
| 14 | یک روش ترکیبی اندازه های مرکزیت و خواص زیستی برای بهبود تشخیص کمپلکس های پروتئینی در شبکه های PPI وزنی (دریافت مقاله) | مجله انفورماتیک سلامت و زیست پزشکی | دوره: 6، شماره: 1 |
| ردیف | عنوان مقاله | عنوان کنفرانس |
|---|---|---|
| 1 | Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems (دریافت مقاله) | دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری |
| 2 | ارائه روش جدید موقعیت یابی واحدهای کنارجاده ای جهت بهبود انتقال اطلاعات در شبکه های موردی خودرویی (دریافت مقاله) | نخستین همایش سیستم های حمل و نقل هوشمند جاده ای |
| 3 | ارایه روش بهینه سازی چند هدفه برای زمان بندی جریان کار در محیط ابر با استفاده از الگوریتم سیاه چاله (دریافت مقاله) | بیست و دومین کنفرانس ملی سالانه انجمن کامپیوترایران |
| 4 | ارزیابی تحلیل و بررسی کارایی پروتکلهای مسیریابی درشبکه های موردی با تحرک بالا بوسیله فرایند تحلیل سلسله مراتبی AHP (دریافت مقاله) | سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات |
| 5 | ارزیابی کمی اتصال و چسبندگی سبک های معماری سیستم خود ترمیم (دریافت مقاله) | یازدهمین کنفرانس سراسری سیستم های هوشمند |
| 6 | اعتبارسنجی پروتکل ارسال پیام در یک سیستم توزیعی زمانی (دریافت مقاله) | بیست و یکمین کنفرانس مهندسی برق ایران |
| 7 | افزایش بهره وری در تعریف، طراحی، و ساخت پروژه با اتکاء بر محیط های مجازی (دریافت مقاله) | اولین همایش روشهای پیشگیری از اتلاف منابع ملی |
| 8 | انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از الگوریتم بهبودیافته SPEAII (دریافت مقاله) | کنفرانس ملی آخرین دستاوردهای مهندسی داده و دانش و محاسبات نرم |
| 9 | Effect of Typos Correction on the validation performance of Duplicate Bug Reports Detection (دریافت مقاله) | دهمین کنفرانس فناوری اطلاعات و دانشIKT2019 |
| 10 | Formal Verification of UML Statecharts using the LOTOS Formal Language (دریافت مقاله) | دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری |
| 11 | Slice-guided path exploration in symbolic execution (دریافت مقاله) | دهمین کنفرانس فناوری اطلاعات و دانشIKT2019 |
| 12 | بررسی تکنیک های تحمل پذیری خطای نرم افزار و بهینه سازی بلاک ترمیم توافقی (دریافت مقاله) | اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات |
| 13 | بررسی کارایی و قابلیت اطمینان تکنیک برنامه نویسی چند نسخه ای و تکنیک های اشتقاقی آن (دریافت مقاله) | اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات |
| 14 | بررسی و مقایسه انواع مختلف برای انتخاب راهکارهای به اشتراک گذاری سنسورها در زیر ساختهای ابر - حسگر (دریافت مقاله) | سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات |
| 15 | بهبود کیفیت آزمون درنرم افزارهای حساس به ایمنی بااستفاده ازآزمون جهش (دریافت مقاله) | نخستین همایش ملی علوم اسلامی حقوق و مدیریت |
| 16 | پایش و وارسی حین اجرای برنامههای واکنشی با استفاده از منطق زمانی بازهای (دریافت مقاله) | سیزدهمین کنفرانس مهندسی برق ایران |
| 17 | تبدیل خودکار نمودار های حالت UML به سیستم های گذار برچسب دار (دریافت مقاله) | نوزدهمین کنفرانس سیستم های هوشمند ایران |
| 18 | تحلیل کارایی روشهای انتشار داده های XML درشبکه های بی سیم موبایل (دریافت مقاله) | سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات |
| 19 | تحلیل و ارزیابی متدولوژی های طراحی معماری خط تولید نرم افزار (دریافت مقاله) | اولین کنفرانس بین المللی فناوری اطلاعات و دانش |
| 20 | تخصیص منصفانه منابع در رایانش ابری، مه و لبه، مفاهیم، چالش ها و روش ها (دریافت مقاله) | نوزدهمین کنفرانس سیستم های هوشمند ایران |
| 21 | توصیف و وارسی نرم افزار های زمانی با ماشین حالت و منطق زمانی (دریافت مقاله) | شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 22 | تولید داده های آزمون پوشش مسیر برنامه با استفاده از الگوریتم ژنتیک (دریافت مقاله) | چهاردهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 23 | رویکرد تولید آزمون مبتنی بر روشهای رسمی برای وارسی درستی نرمافزار (دریافت مقاله) | یازدهمین کنفرانس مهندسی برق |
| 24 | رویکردی برای ایجاد یک محیط همکاری مجازی (دریافت مقاله) | دومین کنفرانس بین المللی مدیریت پروژه |
| 25 | رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده (دریافت مقاله) | یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 26 | رویکردی برای وارسی پویای نفوذ به برنامه با استفاده از حساب رخداد (دریافت مقاله) | چهاردهمین کنفرانس مهندسی برق ایران |
| 27 | رویکردی مبتنی بر شبکه پتری و منطق زمانی برای طراحی پایشگر مبتنی بر توصیف برای ارتباطات پیامی مطمئن (دریافت مقاله) | شانزدهمین کنفرانس مهندسی برق ایران |
| 28 | رویکردی مبتنی بر شبکههای پتری برای توصیف و طراحی پایشگر سیاستهای امنیتی (دریافت مقاله) | سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 29 | رویکردی مبتنی بر شبکههای پتری و حساب رخداد برای تحلیل ایمنی رفتار نرمافزار (دریافت مقاله) | سومین کنفرانس بین المللی فناوری اطلاعات و دانش |
| 30 | ساخت نظامند قوانین امنیتی برای پایش در معماری های سرویس گرا (دریافت مقاله) | سیزهمین کنفرانس دانشجویی مهندسی برق ایران |
| 31 | کاهش هزینه مدیریت عدم قطعیت در نرم افزارهای خود تطبیق با استفاده از الگوریتم ژنتیک (دریافت مقاله) | یازدهمین کنفرانس سراسری سیستم های هوشمند |
| 32 | مدلسازی پیاده سازی و مقایسه تاکتیکهای تحملپذیری خطای برنامه نویسی خود بررسی و بلوکهای بازیابی توافقی (دریافت مقاله) | سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات |
| 33 | معرفی معیار کفایت آزمون الگوریتم ژنتیک برای تولید داده های بهینه مسیرهای برنامه (دریافت مقاله) | پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران |
| 34 | معماری جدید برای فعال سازی مخزن UDDI به وسیله پایگاه داده فعال (دریافت مقاله) | بیستمین کنفرانس مهندسی برق ایران |
| 35 | مقایسه و ارزیابی مدلهای تخمین اطمینان در آزمون نرمافزار (دریافت مقاله) | هشتمین کنفرانس سالانه انجمن کامپیوتر ایران |
| 36 | یک روش ساخت یافته مبتنی بر پالایش برای توصیف صوری رفتار سیستم های گسترده (دریافت مقاله) | بیست و یکمین کنفرانس مهندسی برق ایران |
| 37 | یک مدل توصیفی برای استخراج نیازهای امنیتی معماری های سرویس گرا (دریافت مقاله) | اولین کنفرانس دانشجویی فناوری اطلاعات ایران |
کلیه حقوق برای پایگاه فعالان علم و پژوهش ایران محفوظ استsakhtar.com