سمتهای علمی و اجرایی در دانشگاهها و مراکز علمی کشور
سمتهای علمی و اجرایی در مجلات و ژورنالهای معتبر ایران
مقالات بین المللی خارج از کشور
- "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:
- "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 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 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 cryptography approach on security layer of web service", IEEE, (2016), Vol , No :
- "A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment", Wiley, (2017), Vol 30, No 12: e4368
- "Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c-mean and MOLP", Wiley, (2018), Vol , No :
- "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
- "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 :
- "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 :
- "Moocart Compatiblety Building Strategy (For the College of Art - University of Baghdad)", IEEE, (2018), 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
- "A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses", IEEE, (2018), Vol , No :
- "The clustering algorithm for efficient energy management in mobile ad-hoc networks", Elsevier BV, (2020), Vol 166, No : 106983
- "Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning‐based approach", Wiley, (2019), Vol 32, No 10:
- "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
- "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
- "Query processing optimization in broadcasting XML data in mobile communications", Springer Science and Business Media LLC, (2020), Vol 77, No 6: 5354-5380
مقالات کنفرانسهای داخلی
- تخصیص منصفانه منابع در رایانش ابری، مه و لبه، مفاهیم، چالش ها و روش ها ارائه شده در نوزدهمین کنفرانس سیستم های هوشمند ایران (1403)
- تبدیل خودکار نمودار های حالت UML به سیستم های گذار برچسب دار ارائه شده در نوزدهمین کنفرانس سیستم های هوشمند ایران (1403)
- انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از الگوریتم بهبودیافته SPEAII ارائه شده در کنفرانس ملی آخرین دستاوردهای مهندسی داده و دانش و محاسبات نرم (1400)
- Effect of Typos Correction on the validation performance of Duplicate Bug Reports Detection ارائه شده در دهمین کنفرانس فناوری اطلاعات و دانشIKT2019 (1398)
- Slice-guided path exploration in symbolic execution ارائه شده در دهمین کنفرانس فناوری اطلاعات و دانشIKT2019 (1398)
- بهبود کیفیت آزمون درنرم افزارهای حساس به ایمنی بااستفاده ازآزمون جهش ارائه شده در نخستین همایش ملی علوم اسلامی حقوق و مدیریت (1395)
- ارایه روش بهینه سازی چند هدفه برای زمان بندی جریان کار در محیط ابر با استفاده از الگوریتم سیاه چاله ارائه شده در بیست و دومین کنفرانس ملی سالانه انجمن کامپیوترایران (1395)
- بررسی و مقایسه انواع مختلف برای انتخاب راهکارهای به اشتراک گذاری سنسورها در زیر ساختهای ابر - حسگر ارائه شده در سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات (1394)
- ارزیابی تحلیل و بررسی کارایی پروتکلهای مسیریابی درشبکه های موردی با تحرک بالا بوسیله فرایند تحلیل سلسله مراتبی AHP ارائه شده در سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات (1394)
- تحلیل کارایی روشهای انتشار داده های XML درشبکه های بی سیم موبایل ارائه شده در سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات (1394)
- مدلسازی پیاده سازی و مقایسه تاکتیکهای تحملپذیری خطای برنامه نویسی خود بررسی و بلوکهای بازیابی توافقی ارائه شده در سومین کنفرانس بین المللی پژوهشهای کاربردی در مهندسی کامپیوتر و فن آوری اطلاعات (1394)
- 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)
- ارائه روش جدید موقعیت یابی واحدهای کنارجاده ای جهت بهبود انتقال اطلاعات در شبکه های موردی خودرویی ارائه شده در نخستین همایش سیستم های حمل و نقل هوشمند جاده ای (1393)
- یک روش ساخت یافته مبتنی بر پالایش برای توصیف صوری رفتار سیستم های گسترده ارائه شده در بیست و یکمین کنفرانس مهندسی برق ایران (1392)
- اعتبارسنجی پروتکل ارسال پیام در یک سیستم توزیعی زمانی ارائه شده در بیست و یکمین کنفرانس مهندسی برق ایران (1392)
- معماری جدید برای فعال سازی مخزن UDDI به وسیله پایگاه داده فعال ارائه شده در بیستمین کنفرانس مهندسی برق ایران (1391)
- کاهش هزینه مدیریت عدم قطعیت در نرم افزارهای خود تطبیق با استفاده از الگوریتم ژنتیک ارائه شده در یازدهمین کنفرانس سراسری سیستم های هوشمند (1391)
- ارزیابی کمی اتصال و چسبندگی سبک های معماری سیستم خود ترمیم ارائه شده در یازدهمین کنفرانس سراسری سیستم های هوشمند (1391)
- بررسی تکنیک های تحمل پذیری خطای نرم افزار و بهینه سازی بلاک ترمیم توافقی ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- بررسی کارایی و قابلیت اطمینان تکنیک برنامه نویسی چند نسخه ای و تکنیک های اشتقاقی آن ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- یک مدل توصیفی برای استخراج نیازهای امنیتی معماری های سرویس گرا ارائه شده در اولین کنفرانس دانشجویی فناوری اطلاعات ایران (1389)
- ساخت نظامند قوانین امنیتی برای پایش در معماری های سرویس گرا ارائه شده در سیزهمین کنفرانس دانشجویی مهندسی برق ایران (1389)
- توصیف و وارسی نرم افزار های زمانی با ماشین حالت و منطق زمانی ارائه شده در شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1389)
- معرفی معیار کفایت آزمون الگوریتم ژنتیک برای تولید داده های بهینه مسیرهای برنامه ارائه شده در پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران (1388)
- رویکردی مبتنی بر شبکه پتری و منطق زمانی برای طراحی پایشگر مبتنی بر توصیف برای ارتباطات پیامی مطمئن ارائه شده در شانزدهمین کنفرانس مهندسی برق ایران (1387)
- تولید داده های آزمون پوشش مسیر برنامه با استفاده از الگوریتم ژنتیک ارائه شده در چهاردهمین کنفرانس سالانه انجمن کامپیوتر ایران (1387)
- رویکردی مبتنی بر شبکههای پتری برای توصیف و طراحی پایشگر سیاستهای امنیتی ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1386)
- رویکردی مبتنی بر شبکههای پتری و حساب رخداد برای تحلیل ایمنی رفتار نرمافزار ارائه شده در سومین کنفرانس بین المللی فناوری اطلاعات و دانش (1386)
- رویکردی برای وارسی پویای نفوذ به برنامه با استفاده از حساب رخداد ارائه شده در چهاردهمین کنفرانس مهندسی برق ایران (1385)
- رویکردی برای ایجاد یک محیط همکاری مجازی ارائه شده در دومین کنفرانس بین المللی مدیریت پروژه (1384)
- پایش و وارسی حین اجرای برنامههای واکنشی با استفاده از منطق زمانی بازهای ارائه شده در سیزدهمین کنفرانس مهندسی برق ایران (1384)
- رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده ارائه شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1384)
- افزایش بهره وری در تعریف، طراحی، و ساخت پروژه با اتکاء بر محیط های مجازی ارائه شده در اولین همایش روشهای پیشگیری از اتلاف منابع ملی (1383)
- تحلیل و ارزیابی متدولوژی های طراحی معماری خط تولید نرم افزار ارائه شده در اولین کنفرانس بین المللی فناوری اطلاعات و دانش (1382)
- رویکرد تولید آزمون مبتنی بر روشهای رسمی برای وارسی درستی نرمافزار ارائه شده در یازدهمین کنفرانس مهندسی برق (1382)
- مقایسه و ارزیابی مدلهای تخمین اطمینان در آزمون نرمافزار ارائه شده در هشتمین کنفرانس سالانه انجمن کامپیوتر ایران (1381)
مقالات ژورنالهای تخصصی داخلی
- A Novel Two-Step Classification Approach for Runtime Performance Improvement of Duplicate Bug Report Detection منتشر شده در مجله مهندسی کامپیوتر و دانش (1402)
- استخراج قوانین از توصیف و مدل سازی آنها با استفاده از شبکه های پتری فازی رنگی منتشر شده در مجله محاسبات نرم (1401)
- روشی برای ساده سازی الگوها در ترکیب وب سرویس ها و انتخاب بهینه ترکیب با ساختار احتمالی منتشر شده در مجله محاسبات نرم (1399)
- یک روش ترکیبی اندازه های مرکزیت و خواص زیستی برای بهبود تشخیص کمپلکس های پروتئینی در شبکه های PPI وزنی منتشر شده در مجله انفورماتیک سلامت و زیست پزشکی (1398)
- 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)
- A Method for Assessing Maintainability of Software Architectural Styles in Self-healing Systems by Measuring Coupling and Cohesion منتشر شده در مجله محاسبات و امنیت (1394)
- enhancing efficiency of softwarw fault tolerance techniques in satellite motion system منتشر شده در فصلنامه سیستم های اطلاعاتی و مخابرات (1393)
- Ranking of Common Architectural Styles Based on Availability, Security and Performance Quality Attributes منتشر شده در مجله محاسبات و امنیت (1393)
- Prediction of Deadlocks in Concurrent Programs Using Neural Network منتشر شده در فصلنامه سیستم های اطلاعاتی و مخابرات (1391)
- Runtime verification of programs using rule-based active system منتشر شده در دوفصلنامه مرکز پژوهشی ریاضی ماهانی (1391)
- شبیه سازی پایشگر در کنترل سرپرستی - یک روش مبتنی بر دامنه منتشر شده در مجله هوش محاسباتی در مهندسی برق (1391)
- A Specification-Based Approach to Generate Verification Rules of Reactive Software منتشر شده در فصلنامه مهندسی برق مدرس (1389)