دکتر سید مرتضی بابامیر

دکتر سید مرتضی بابامیر استاد دانشکده مهندسی برق و کامپیوتر گروه:مهندسی کامپیوتر دانشگاه کاشان

دکتر سید مرتضی بابامیر

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 استخراج قوانین از توصیف و مدل سازی آنها با استفاده از شبکه های پتری فازی رنگی (دریافت مقاله) مجله محاسبات نرم دوره: 11، شماره: 1
6 enhancing efficiency of softwarw fault tolerance techniques in satellite motion system (دریافت مقاله) فصلنامه سیستم های اطلاعاتی و مخابرات دوره: 2، شماره: 7
7 Prediction of Deadlocks in Concurrent Programs Using Neural Network (دریافت مقاله) فصلنامه سیستم های اطلاعاتی و مخابرات دوره: 1، شماره: 1
8 QoS-aware web service composition using Gray Wolf Optimizer (دریافت مقاله) مجله بین المللی ارتباطات و فناوری اطلاعات دوره: 9، شماره: 1
9 Ranking of Common Architectural Styles Based on Availability, Security and Performance Quality Attributes (دریافت مقاله) مجله محاسبات و امنیت دوره: 1، شماره: 2
10 Runtime verification of programs using rule-based active system (دریافت مقاله) دوفصلنامه مرکز پژوهشی ریاضی ماهانی دوره: 1، شماره: 1
11 روشی برای ساده سازی الگوها در ترکیب وب سرویس ها و انتخاب بهینه ترکیب با ساختار احتمالی (دریافت مقاله) مجله محاسبات نرم دوره: 9، شماره: 2
12 شبیه سازی پایشگر در کنترل سرپرستی - یک روش مبتنی بر دامنه (دریافت مقاله) مجله هوش محاسباتی در مهندسی برق دوره: 3، شماره: 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 تحلیل کارایی روشهای انتشار داده های XML درشبکه های بی سیم موبایل (دریافت مقاله) سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات
18 تحلیل و ارزیابی متدولوژی های طراحی معماری خط تولید نرم افزار (دریافت مقاله) اولین کنفرانس بین المللی فناوری اطلاعات و دانش
19 توصیف و وارسی نرم افزار های زمانی با ماشین حالت و منطق زمانی (دریافت مقاله) شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران
20 تولید داده های آزمون پوشش مسیر برنامه با استفاده از الگوریتم ژنتیک (دریافت مقاله) چهاردهمین کنفرانس سالانه انجمن کامپیوتر ایران
21 رویکرد تولید آزمون مبتنی بر روشهای رسمی برای وارسی درستی نرمافزار (دریافت مقاله) یازدهمین کنفرانس مهندسی برق
22 رویکردی برای ایجاد یک محیط همکاری مجازی (دریافت مقاله) دومین کنفرانس بین المللی مدیریت پروژه
23 رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده (دریافت مقاله) یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
24 رویکردی برای وارسی پویای نفوذ به برنامه با استفاده از حساب رخداد (دریافت مقاله) چهاردهمین کنفرانس مهندسی برق ایران
25 رویکردی مبتنی بر شبکه پتری و منطق زمانی برای طراحی پایشگر مبتنی بر توصیف برای ارتباطات پیامی مطمئن (دریافت مقاله) شانزدهمین کنفرانس مهندسی برق ایران
26 رویکردی مبتنی بر شبکههای پتری برای توصیف و طراحی پایشگر سیاستهای امنیتی (دریافت مقاله) سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران
27 رویکردی مبتنی بر شبکههای پتری و حساب رخداد برای تحلیل ایمنی رفتار نرمافزار (دریافت مقاله) سومین کنفرانس بین المللی فناوری اطلاعات و دانش
28 ساخت نظامند قوانین امنیتی برای پایش در معماری های سرویس گرا (دریافت مقاله) سیزهمین کنفرانس دانشجویی مهندسی برق ایران
29 کاهش هزینه مدیریت عدم قطعیت در نرم افزارهای خود تطبیق با استفاده از الگوریتم ژنتیک (دریافت مقاله) یازدهمین کنفرانس سراسری سیستم های هوشمند
30 مدلسازی پیاده سازی و مقایسه تاکتیکهای تحملپذیری خطای برنامه نویسی خود بررسی و بلوکهای بازیابی توافقی (دریافت مقاله) سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات
31 معرفی معیار کفایت آزمون الگوریتم ژنتیک برای تولید داده های بهینه مسیرهای برنامه (دریافت مقاله) پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران
32 معماری جدید برای فعال سازی مخزن UDDI به وسیله پایگاه داده فعال (دریافت مقاله) بیستمین کنفرانس مهندسی برق ایران
33 مقایسه و ارزیابی مدلهای تخمین اطمینان در آزمون نرمافزار (دریافت مقاله) هشتمین کنفرانس سالانه انجمن کامپیوتر ایران
34 یک روش ساخت یافته مبتنی بر پالایش برای توصیف صوری رفتار سیستم های گسترده (دریافت مقاله) بیست و یکمین کنفرانس مهندسی برق ایران
35 یک مدل توصیفی برای استخراج نیازهای امنیتی معماری های سرویس گرا (دریافت مقاله) اولین کنفرانس دانشجویی فناوری اطلاعات ایران