سمتهای علمی و اجرایی در دانشگاهها و مراکز علمی کشور
سمتهای علمی و اجرایی در مجلات و ژورنالهای معتبر ایران
ISI Papers
- "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
Conference Papers
- انتخاب بهینه ترکیب وب سرویس ها در ساختارهای احتمالی با استفاده از الگوریتم بهبودیافته SPEAII ارائه شده در National Conference on the Latest Achievements in Data Engineering and Soft Knowledge and Computing (1400)
- Effect of Typos Correction on the validation performance of Duplicate Bug Reports Detection ارائه شده در 10th Information and Knowledge Technology Conference (ICIKT2019) (1398)
- Slice-guided path exploration in symbolic execution ارائه شده در 10th Information and Knowledge Technology Conference (ICIKT2019) (1398)
- بهبود کیفیت آزمون درنرم افزارهای حساس به ایمنی بااستفاده ازآزمون جهش ارائه شده در نخستین همایش ملی علوم اسلامی حقوق و مدیریت (1395)
- ارایه روش بهینه سازی چند هدفه برای زمان بندی جریان کار در محیط ابر با استفاده از الگوریتم سیاه چاله ارائه شده در 22nd Annual Conference of Computer Society of Iran (1395)
- بررسی و مقایسه انواع مختلف برای انتخاب راهکارهای به اشتراک گذاری سنسورها در زیر ساختهای ابر - حسگر ارائه شده در 3rd International Conference on Applied Research in Computer Engineering and Information Technology (1394)
- ارزیابی تحلیل و بررسی کارایی پروتکلهای مسیریابی درشبکه های موردی با تحرک بالا بوسیله فرایند تحلیل سلسله مراتبی AHP ارائه شده در 3rd International Conference on Applied Research in Computer Engineering and Information Technology (1394)
- تحلیل کارایی روشهای انتشار داده های XML درشبکه های بی سیم موبایل ارائه شده در 3rd International Conference on Applied Research in Computer Engineering and Information Technology (1394)
- مدلسازی پیاده سازی و مقایسه تاکتیکهای تحملپذیری خطای برنامه نویسی خود بررسی و بلوکهای بازیابی توافقی ارائه شده در 3rd International Conference on Applied Research in Computer Engineering and Information Technology (1394)
- Automatic verification of uml state chart by bogor model checking tool Automatic formal verification of network and distributed systems ارائه شده در 2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation (1394)
- Formal Verification of UML Statecharts using the LOTOS Formal Language ارائه شده در 2nd Internatioanl Conference on Knowledge -Base Engineering and Innovation (1394)
- ارائه روش جدید موقعیت یابی واحدهای کنارجاده ای جهت بهبود انتقال اطلاعات در شبکه های موردی خودرویی ارائه شده در 1st National Road Its Congress (1393)
- یک روش ساخت یافته مبتنی بر پالایش برای توصیف صوری رفتار سیستم های گسترده ارائه شده در 21th Iranian Conference on Electric Engineering (1392)
- اعتبارسنجی پروتکل ارسال پیام در یک سیستم توزیعی زمانی ارائه شده در 21th Iranian Conference on Electric Engineering (1392)
- معماری جدید برای فعال سازی مخزن UDDI به وسیله پایگاه داده فعال ارائه شده در 20th Iranian Conference on Electric Engineering (1391)
- کاهش هزینه مدیریت عدم قطعیت در نرم افزارهای خود تطبیق با استفاده از الگوریتم ژنتیک ارائه شده در 11th Intelligent Systems Conference (1391)
- ارزیابی کمی اتصال و چسبندگی سبک های معماری سیستم خود ترمیم ارائه شده در 11th Intelligent Systems Conference (1391)
- بررسی تکنیک های تحمل پذیری خطای نرم افزار و بهینه سازی بلاک ترمیم توافقی ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- بررسی کارایی و قابلیت اطمینان تکنیک برنامه نویسی چند نسخه ای و تکنیک های اشتقاقی آن ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- یک مدل توصیفی برای استخراج نیازهای امنیتی معماری های سرویس گرا ارائه شده در 1st Iranian Student Conference on Information Technology (1389)
- ساخت نظامند قوانین امنیتی برای پایش در معماری های سرویس گرا ارائه شده در 13th Iranian Student Conference on Electrical Engieering (1389)
- توصیف و وارسی نرم افزار های زمانی با ماشین حالت و منطق زمانی ارائه شده در 16th annual CSI Computer Conference (1389)
- معرفی معیار کفایت آزمون الگوریتم ژنتیک برای تولید داده های بهینه مسیرهای برنامه ارائه شده در 15th Annual Conference of Computer Society of Iran (1388)
- رویکردی مبتنی بر شبکه پتری و منطق زمانی برای طراحی پایشگر مبتنی بر توصیف برای ارتباطات پیامی مطمئن ارائه شده در 16th Iranian Conference on Electric Engineering (1387)
- تولید داده های آزمون پوشش مسیر برنامه با استفاده از الگوریتم ژنتیک ارائه شده در 14th Annual Conference of Computer Society of Iran (1387)
- رویکردی مبتنی بر شبکههای پتری برای توصیف و طراحی پایشگر سیاستهای امنیتی ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- رویکردی مبتنی بر شبکههای پتری و حساب رخداد برای تحلیل ایمنی رفتار نرمافزار ارائه شده در 03rd International Conference on Information and Knowledge Technology (1386)
- رویکردی برای وارسی پویای نفوذ به برنامه با استفاده از حساب رخداد ارائه شده در 14th Iranian Conference on Electric Engineering (1385)
- رویکردی برای ایجاد یک محیط همکاری مجازی ارائه شده در 02nd International Project Management Conference (1384)
- پایش و وارسی حین اجرای برنامههای واکنشی با استفاده از منطق زمانی بازهای ارائه شده در 13th Iranian Conference on Electric Engineering (1384)
- رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- افزایش بهره وری در تعریف، طراحی، و ساخت پروژه با اتکاء بر محیط های مجازی ارائه شده در 1st Symposium of National Resources Loss Prevention (1383)
- تحلیل و ارزیابی متدولوژی های طراحی معماری خط تولید نرم افزار ارائه شده در 01st International Conference on Information and Knowledge Technology (1382)
- رویکرد تولید آزمون مبتنی بر روشهای رسمی برای وارسی درستی نرمافزار ارائه شده در 11th Iranian Conference on Electric Engineering (1382)
- مقایسه و ارزیابی مدلهای تخمین اطمینان در آزمون نرمافزار ارائه شده در 8th Annual Conference of Computer Society of Iran (1381)
Journal Papers
- A Novel Two-Step Classification Approach for Runtime Performance Improvement of Duplicate Bug Report Detection منتشر شده در Computer and Knowledge Engineering (1402)
- استخراج قوانین از توصیف و مدل سازی آنها با استفاده از شبکه های پتری فازی رنگی منتشر شده در Soft Computing Journal (1401)
- روشی برای ساده سازی الگوها در ترکیب وب سرویس ها و انتخاب بهینه ترکیب با ساختار احتمالی منتشر شده در Soft Computing Journal (1399)
- یک روش ترکیبی اندازه های مرکزیت و خواص زیستی برای بهبود تشخیص کمپلکس های پروتئینی در شبکه های PPI وزنی منتشر شده در Journal of Health & Biomedical Informatics (1398)
- A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environment منتشر شده در International Journal of Web Research (1397)
- QoS-aware web service composition using Gray Wolf Optimizer منتشر شده در International Journal of Information and Communication Technology Research (IJICT (1395)
- A Pareto-based Optimizer for Workflow Scheduling in Cloud Computing Environment منتشر شده در International Journal of Information and Communication Technology Research (IJICT (1394)
- A Method for Assessing Maintainability of Software Architectural Styles in Self-healing Systems by Measuring Coupling and Cohesion منتشر شده در Journal of Computing and Security (1394)
- enhancing efficiency of softwarw fault tolerance techniques in satellite motion system منتشر شده در The Journal of Information Systems and Telecommunication (JIST) (1393)
- Ranking of Common Architectural Styles Based on Availability, Security and Performance Quality Attributes منتشر شده در Journal of Computing and Security (1393)
- Prediction of Deadlocks in Concurrent Programs Using Neural Network منتشر شده در The Journal of Information Systems and Telecommunication (JIST) (1391)
- Runtime verification of programs using rule-based active system منتشر شده در Journal of Mahani Mathematical Research (1391)
- شبیه سازی پایشگر در کنترل سرپرستی - یک روش مبتنی بر دامنه منتشر شده در Journal of Computational Intelligence in Electrical Engineering (1391)