معرفی
استان
اصفهان
شهر
کاشان
سمتهای علمی و اجرایی سید مرتضی بابامیر در مجلات و ژورنال‌های معتبر ایران
- مجله محاسبات نرم (مدیر مسئول)
سمتهای علمی و اجرایی سید مرتضی بابامیر در کنفرانس ها و نشستهای معتبر ایران
- دانشگاه کاشان (عضو هیات علمی)
مقالات بین المللی سید مرتضی بابامیر
"Federated Geo-Distributed Clouds: Optimizing Resource Allocation Based on Request Type Using Autonomous and Multi-objective Resource Sharing Model", Elsevier BV, (2021), Vol 24, No : 100188
"The clustering algorithm for efficient energy management in mobile ad-hoc networks", Elsevier BV, (2020), Vol 166, No : 106983
"Autonomic task scheduling algorithm for dynamic workloads through a load balancing technique for the cloud-computing environment", Springer Science and Business Media LLC, (2020), Vol 24, No 2: 1075-1101
"Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets", Institute of Electrical and Electronics Engineers (IEEE), (2020), Vol 50, No 9: 3344-3357
"Scheduling scientific workflows on virtual machines using a Pareto and hypervolume based black hole optimization algorithm", Springer Science and Business Media LLC, (2020), Vol 76, No 10: 7635-7688
"Efficient feature extraction model for validation performance improvement of duplicate bug report detection in software bug triage systems", Elsevier BV, (2020), Vol 126, No : 106344
"IoT-Based Model in Smart Urban Traffic Control: Graph theory and Genetic Algorithm", IEEE, (2020), Vol , No :
"Fast Duplicate Bug Reports Detector Training using Sampling for Dimension Reduction: Using Instance-based Learning for Continous Query in Real-World", IEEE, (2020), Vol , No :
"Identification of Protein Complexes Based on Core-Attachment Structure and Combination of Centrality Measures and Biological Properties in PPI Weighted Networks", Springer Science and Business Media LLC, (2020), Vol 39, No 6: 681-702
"A model driven and clustering method for service identification directed by metrics", Wiley, (2020), Vol 51, No 2: 449-484
"Query processing optimization in broadcasting XML data in mobile communications", Springer Science and Business Media LLC, (2020), Vol 77, No 6: 5354-5380
"A hierarchical structure for optimal resource allocation in geographically distributed clouds", Elsevier BV, (2019), Vol 90, No : 539-568
"New labeled dataset of interconnected lexical typos for automatic correction in the bug reports", Springer Science and Business Media LLC, (2019), Vol 1, No 11:
"Evaluation of Clustering Algorithms in Ad Hoc Mobile Networks", Springer Science and Business Media LLC, (2019), Vol 109, No 4: 2147-2186
"Test-data generation directed by program path coverage through imperialist competitive algorithm", Elsevier BV, (2019), Vol 184, No : 102304
"New Methodology for Contextual Features Usage in Duplicate Bug Reports Detection : Dimension Expansion based on Manhattan Distance Similarity of Topics", IEEE, (2019), Vol , No :
"Improving Performance of Automatic Duplicate Bug Reports Detection using Longest Common Sequence : Introducing New Textual Features for Textual Similarity Detection", IEEE, (2019), Vol , No :
"Estimating Bifurcating Consensus Phylogenetic Trees Using Evolutionary Imperialist Competitive Algorithm", Bentham Science Publishers Ltd., (2019), Vol 14, No 8: 728-739
"Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning‐based approach", Wiley, (2019), Vol 32, No 10:
"Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c-mean and MOLP", Wiley, (2018), Vol , No :
"Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling", Elsevier BV, (2018), Vol 24, No : 402-412
"Identification of essential proteins based on a new combination of topological and biological features in weighted protein–protein interaction networks", Institution of Engineering and Technology (IET), (2018), Vol 12, No 6: 247-257
"A modified black hole-based multi-objective workflow scheduling improved using the priority queues for cloud computing environment", IEEE, (2018), Vol , No :
"Moocart Compatiblety Building Strategy (For the College of Art - University of Baghdad)", IEEE, (2018), Vol , No :
"A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses", IEEE, (2018), Vol , No :
"Optimizing multi objective based workflow scheduling in cloud computing using black hole algorithm", IEEE, (2017), Vol , No :
"Optimal scheduling workflows in cloud computing environment using Pareto-based Grey Wolf Optimizer", Wiley, (2017), Vol 29, No 11: e4044
"Modeling and verifying timed event-based systems", IEEE, (2017), Vol , No :
"An Innovative Model-Driven SlicingApproach for Testing Adaptive Software", Bentham Science Publishers Ltd., (2017), Vol 10, No 2:
"A method for the optimum selection of datacenters in geographically distributed clouds", Springer Science and Business Media LLC, (2017), Vol 73, No 9: 4042-4081
"A GA based method for search-space reduction of chess game-tree", Springer Science and Business Media LLC, (2017), Vol 47, No 3: 752-768
"A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment", Wiley, (2017), Vol 30, No 12: e4368
"Using a recurrent artificial neural network for dynamic self-adaptation of cluster-based web-server systems", Springer Science and Business Media LLC, (2017), Vol 48, No 8: 2097-2111
"A Multi-Objective Optimization Model for Data-Intensive Workflow Scheduling in Data Grids", IEEE, (2016), Vol , No :
"Utilizing Fuzzy colored Petri-Nets to monitor cardiac pacemaker behavior", IEEE, (2016), Vol , No :
"Towards optimization of availability and cost in selection of geo-distributed clouds datacenter", IEEE, (2016), Vol , No :
"Toward extending apache thrift open source to alleviate SOAP service consumption", IEEE, (2016), Vol , No :
"Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets", Springer Science and Business Media LLC, (2016), Vol 41, No 2:
"A new data-intensive task scheduling in optorsim, an open source grid simulator", IEEE, (2016), Vol , No :
"A new approach to detecting and preventing the Worm Hole attacks for secure routing in mobile ad-hoc networks based on the SPR protocol", IEEE, (2016), Vol , No :
"A cryptography approach on security layer of web service", IEEE, (2016), Vol , No :
مقالات سید مرتضی بابامیر در کنفرانس های داخلی
رویکردی برای ایجاد یک محیط همکاری مجازی
سال 1384
ارائه شده در دومین کنفرانس بین المللی مدیریت پروژه
افزایش بهره وری در تعریف، طراحی، و ساخت پروژه با اتکاء بر محیط های مجازی
سال 1383
ارائه شده در اولین همایش روشهای پیشگیری از اتلاف منابع ملی
رویکردی مبتنی بر شبکههای پتری برای توصیف و طراحی پایشگر سیاستهای امنیتی
سال 1386
ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران
پایش و وارسی حین اجرای برنامههای واکنشی با استفاده از منطق زمانی بازهای
سال 1384
ارائه شده در سیزدهمین کنفرانس مهندسی برق ایران
مقایسه و ارزیابی مدلهای تخمین اطمینان در آزمون نرمافزار
سال 1381
ارائه شده در هشتمین کنفرانس سالانه انجمن کامپیوتر ایران
رویکردی مبتنی بر شبکه پتری و منطق زمانی برای طراحی پایشگر مبتنی بر توصیف برای ارتباطات پیامی مطمئن
سال 1387
ارائه شده در شانزدهمین کنفرانس مهندسی برق ایران
رویکردی مبتنی بر شبکههای پتری و حساب رخداد برای تحلیل ایمنی رفتار نرمافزار
سال 1386
ارائه شده در سومین کنفرانس بین المللی فناوری اطلاعات و دانش
رویکردی برای وارسی پویای نفوذ به برنامه با استفاده از حساب رخداد
سال 1385
ارائه شده در چهاردهمین کنفرانس مهندسی برق ایران
تولید داده های آزمون پوشش مسیر برنامه با استفاده از الگوریتم ژنتیک
سال 1387
ارائه شده در چهاردهمین کنفرانس سالانه انجمن کامپیوتر ایران
تحلیل و ارزیابی متدولوژی های طراحی معماری خط تولید نرم افزار
سال 1382
ارائه شده در اولین کنفرانس بین المللی فناوری اطلاعات و دانش
معرفی معیار کفایت آزمون الگوریتم ژنتیک برای تولید داده های بهینه مسیرهای برنامه
سال 1388
ارائه شده در پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران
یک مدل توصیفی برای استخراج نیازهای امنیتی معماری های سرویس گرا
سال 1389
ارائه شده در اولین کنفرانس دانشجویی فناوری اطلاعات ایران
ساخت نظامند قوانین امنیتی برای پایش در معماری های سرویس گرا
سال 1389
ارائه شده در سیزهمین کنفرانس دانشجویی مهندسی برق ایران
رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده
سال 1384
ارائه شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
بررسی تکنیک های تحمل پذیری خطای نرم افزار و بهینه سازی بلاک ترمیم توافقی
سال 1390
ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات
بررسی کارایی و قابلیت اطمینان تکنیک برنامه نویسی چند نسخه ای و تکنیک های اشتقاقی آن
سال 1390
ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات
توصیف و وارسی نرم افزار های زمانی با ماشین حالت و منطق زمانی
سال 1389
ارائه شده در شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران
رویکرد تولید آزمون مبتنی بر روشهای رسمی برای وارسی درستی نرمافزار
سال 1382
ارائه شده در یازدهمین کنفرانس مهندسی برق
معماری جدید برای فعال سازی مخزن UDDI به وسیله پایگاه داده فعال
سال 1391
ارائه شده در بیستمین کنفرانس مهندسی برق ایران
یک روش ساخت یافته مبتنی بر پالایش برای توصیف صوری رفتار سیستم های گسترده
سال 1392
ارائه شده در بیست و یکمین کنفرانس مهندسی برق ایران
اعتبارسنجی پروتکل ارسال پیام در یک سیستم توزیعی زمانی
سال 1392
ارائه شده در بیست و یکمین کنفرانس مهندسی برق ایران
کاهش هزینه مدیریت عدم قطعیت در نرم افزارهای خود تطبیق با استفاده از الگوریتم ژنتیک
سال 1391
ارائه شده در یازدهمین کنفرانس سراسری سیستم های هوشمند
ارزیابی کمی اتصال و چسبندگی سبک های معماری سیستم خود ترمیم
سال 1391
ارائه شده در یازدهمین کنفرانس سراسری سیستم های هوشمند
ارائه روش جدید موقعیت یابی واحدهای کنارجاده ای جهت بهبود انتقال اطلاعات در شبکه های موردی خودرویی
سال 1393
ارائه شده در نخستین همایش سیستم های حمل و نقل هوشمند جاده ای
بررسی و مقایسه انواع مختلف برای انتخاب راهکارهای به اشتراک گذاری سنسورها در زیر ساختهای ابر - حسگر
سال 1394
ارائه شده در سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات
ارزیابی تحلیل و بررسی کارایی پروتکلهای مسیریابی درشبکه های موردی با تحرک بالا بوسیله فرایند تحلیل سلسله مراتبی AHP
سال 1394
ارائه شده در سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات
تحلیل کارایی روشهای انتشار داده های XML درشبکه های بی سیم موبایل
سال 1394
ارائه شده در سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات
مدلسازی پیاده سازی و مقایسه تاکتیکهای تحملپذیری خطای برنامه نویسی خود بررسی و بلوکهای بازیابی توافقی
سال 1394
ارائه شده در سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات
بهبود کیفیت آزمون درنرم افزارهای حساس به ایمنی بااستفاده ازآزمون جهش
سال 1395
ارائه شده در نخستین همایش ملی علوم اسلامی حقوق و مدیریت
Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems
سال 1394
ارائه شده در دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری
Formal Verification of UML Statecharts using the LOTOS Formal Language
سال 1394
ارائه شده در دومین کنفرانس بین المللی مهندسی دانش بنیان و نوآوری
ارایه روش بهینه سازی چند هدفه برای زمان بندی جریان کار در محیط ابر با استفاده از الگوریتم سیاه چاله
سال 1395
ارائه شده در بیست و دومین کنفرانس ملی سالانه انجمن کامپیوترایران
Effect of Typos Correction on the validation performance of Duplicate Bug Reports Detection
سال 1398
ارائه شده در دهمین کنفرانس فناوری اطلاعات و دانشIKT2019
Slice-guided path exploration in symbolic execution
سال 1398
ارائه شده در دهمین کنفرانس فناوری اطلاعات و دانشIKT2019
انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از الگوریتم بهبودیافته SPEAII
سال 1400
ارائه شده در کنفرانس ملی آخرین دستاوردهای مهندسی داده و دانش و محاسبات نرم
مقالات سید مرتضی بابامیر در ژورنال های داخلی
Prediction of Deadlocks in Concurrent Programs Using Neural Network
سال 1391
ارائه شده در فصلنامه سیستم های اطلاعاتی و مخابرات
enhancing efficiency of softwarw fault tolerance techniques in satellite motion system
سال 1393
ارائه شده در فصلنامه سیستم های اطلاعاتی و مخابرات
Runtime verification of programs using rule-based active system
سال 1391
ارائه شده در دوفصلنامه مرکز پژوهشی ریاضی ماهانی
A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environment
سال 1397
ارائه شده در فصلنامه بین المللی وب پژوهی
QoS-aware web service composition using Gray Wolf Optimizer
سال 1395
ارائه شده در مجله بین المللی ارتباطات و فناوری اطلاعات
A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment
سال 1394
ارائه شده در مجله بین المللی ارتباطات و فناوری اطلاعات
شبیه سازی پایشگر در کنترل سرپرستی - یک روش مبتنی بر دامنه
سال 1391
ارائه شده در مجله هوش محاسباتی در مهندسی برق
Ranking of Common Architectural Styles Based on Availability, Security and Performance Quality Attributes
سال 1393
ارائه شده در مجله محاسبات و امنیت
A Method for Assessing Maintainability of Software Architectural Styles in Self-healing Systems by Measuring Coupling and Cohesion
سال 1394
ارائه شده در مجله محاسبات و امنیت
روشی برای ساده سازی الگوها در ترکیب وب سرویس ها و انتخاب بهینه ترکیب با ساختار احتمالی
سال 1399
ارائه شده در مجله محاسبات نرم
استخراج قوانین از توصیف و مدل سازی آنها با استفاده از شبکه های پتری فازی رنگی
سال 1401
ارائه شده در مجله محاسبات نرم
A Novel Two-Step Classification Approach for Runtime Performance Improvement of Duplicate Bug Report Detection
سال 1402
ارائه شده در مجله مهندسی کامپیوتر و دانش