1403/02/25
English
وحید رافع

وحید رافع

مرتبه علمی: دانشیار
ارکید: https://orcid.org/0000-0002-2486-7384
تحصیلات: دکترای تخصصی
اسکاپوس: 14054926800
دانشکده: دانشکده فنی مهندسی
نشانی: دانشگاه اراک، گروه مهندسی کامپیوتر
تلفن:
صفحه نخست

فعالیت‌های پژوهشی

مقاله چاپ‌شده
Using data mining techniques to generate test cases from graph transformation systems specifications Maryam Askari, Vahid Rafeh (2024)
A three-phase approach to improve the functionality of t-way strategy Einollah pira, Vahid Rafeh, Sajad Esfandiary (2023)
Automatic bug localization using a combination of deep learning and model transformation through node classification Leila Yousofvand, Seyfollah Soleimani, Vahid Rafeh (2023)
Automatic program bug fixing by focusing on finding the shortest sequence of changes Leila Yousofvand, Seyfollah Soleimani, Vahid Rafeh, Sajad Esfandiary (2023)
A comprehensive review of the security flaws of hashing algorithms Vahid Rafeh (2023)
Checking Reachability Property in Complex Concurrent Software Systems with a Knowledge Discovery Approach Jafar Partabian, Karamollah Bagheri Fard, Vahid Rafeh, Hamid Parvin, Samd Nejatian (2023)
تولید آرایه پوشش کمینه با استفاده از الگوریتم تکامل تفاضلی تطبیقی مبتنی بر تاریخچه موفقیت و کاهش خطی اندازه جمعیت عین الله پیرا، وحید رافع، سجاد اسفندیاری (1401)
BBAC: Behavior-based access control to detect user suspicious behavior Leyla Rikhtekchi, Vahid Rafeh, Afshin Rezakhani (2022)
Using deep reinforcement learning to search reachability properties in systems specified through graph transformation Mohammad Javad Mehrabi, Vahid Rafeh (2022)
Using Bayesian optimization algorithm for model-based integration testing Vahid Rafeh, somaye mohamadi, Erik Cuevas (2022)
GALP: a hybrid artificial intelligence algorithm for generating covering array Sajad Esfandiary, Vahid Rafeh (2021)
Using memetic algorithm for robustness testing of contract‑based software models Anvar Bahrampour, Vahid Rafeh (2021)
Secured Access Control in Security Information and Event Management Systems Leyla Rikhtekchi, Vahid Rafeh, Reza Roozbahani (2021)
A new metaheuristic approach based on agent systems principles Erik Cuevas, Jorge G´alvez, Karla Avila, Miguel Toski, Vahid Rafeh (2020)
Using search‑based techniques for testing executable software models specified through graph transformations Anvar Bahrampour, Vahid Rafeh (2020)
An efficient approach to state space management in model checking of complex software systems using machine learning techniques Mohammad Yasrebi, Vahid Rafeh, Hamid Parvin, Samd Nejatian (2020)
Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms Sajad Esfandiary, Vahid Rafeh (2020)
استفاده از الگوریتم تودۀ ذرات بهینه در تولید دنبالۀ آزمون کمینه در آرایۀ پوشش با قوۀ ثابت سجاد اسفندیاری، وحید رافع (1398)
An approach based on knowledge exploration for state space management in checking reachability of complex software systems Jafar Partabian, Vahid Rafeh, Hamid Parvin, Samd Nejatian (2020)
استفاده از الگوریتم تودۀ ذرات بهینه در تولید دنبالۀ آزمون کمینه در آرایۀ پوشش با قوۀ ثابت سجاد اسفندیاری، وحید رافع (1398)
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation Einollah pira, Vahid Rafeh, Amin Nikanjam (2019)
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation Einollah pira, Vahid Rafeh, Amin Nikanjam (2019)
مطالعه مروری بر تولید نمونهآزمون کمینه در آزمون تعاملی سجاد اسفندیاری، وحید رافع (1398)
MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation Vahid Rafeh, Farideh Darghayedi, Einollah pira (2019)
Model-based test suite generation for graph transformation system using model simulation and search-based techniques Akram Kalayi, Vahid Rafeh (2019)
تولید مورد آزمون مبتنی بر مدل از توصیفات تبدیل گراف با استفاده از الگوریتم جستجوی پرتو مریم عسکری، وحید رافع، اکرم کلایی (1398)
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations Einollah pira, Vahid Rafeh, Amin Nikanjam (2018)
آزمون مبتنی بر ترکیبات؛ آرایه پوشش؛ الگوریتم بهینه سازی مبتنی بر آموزش و یادگیری زهرا عباسی، سجاد اسفندیاری، وحید رافع (1397)
A Recommendation Method Based on Semantic Similarity and Complementarity Using Weighted Taxonomy: A Case on Construction Materials Dataset Karamollah Bagheri Fard, Mohsen Rahmani, Vahid Rafeh, Mehrbakhsh Nilashi (2018)
A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy Sajad Esfandiary, Vahid Rafeh (2017)
Performance improvement for recommender systems using ontology Karamollah Bagheri Fard, Mohsen Rahmani, Mehrbakhsh Nilashi, Vahid Rafeh (2017)
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm Einollah pira, Vahid Rafeh, Amin Nikanjam (2017)
A recommender system for tourism industry using cluster ensemble and prediction machine learning techniques Mehrbakhsh Nilashi, Karamollah Bagheri Fard, Mohsen Rahmani, Vahid Rafeh (2017)
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles Einollah pira, Vahid Rafeh, Amin Nikanjam (2016)
An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm Akram Kalayi, Vahid Rafeh (2016)
راهکاری نوین جهت تولید دنباله آزمون کمینه در فرایند آزمون نرم افزار با ترکیب الگوریتمهای جستجوی تپه نوردی و جستجوی خفاش سجاد اسفندیاری، وحید رافع (1395)
Security analysis of network protocols through model checking: a case study on mobile IPv6 Zohreh Safarian Eidgahi, Vahid Rafeh (2016)
A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems Roza Yusefian, Shahriyar Abootorabi, Vahid Rafeh (2016)
ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستمهای تبدیل گراف با استفاده از الگوریتم پرندگان و جستجوی گرانشی مریم مرادی، رزا یوسفیان، وحید رافع (1394)
A security framework for developing service-oriented software architectures Vahid Rafeh, Ramin Hosseinpoori (2015)
A hybrid heuristic workflow scheduling algorithm for cloud computing environments Sahar Mirzaee, Vahid Rafeh (2015)
A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain Vahid Rafeh, Amin Nikanjam (2015)
Using graph transformation system to formalize Tropos diagrams Vahid Rafeh, mitra golparian, Siamak Rasoolzadeh (2015)
Performance Measurement of Models Specified Through Component-based Software Architectural Styles Elham Eshraghian, Vahid Rafeh (2015)
A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations Vahid Rafeh, Maryam Moradi, Roza Yusefian, Amin Nikanjam (2015)
An Efficient Approach to Breast Cancer Prediction Based on Neural Network, Adaboost and Gaussian Process Vahid Rafeh, m hosseini, m jalali moghaddam, r karimi (2015)
Considering Reliability in Designing Pervasive Healthcare System Masoumeh Hajvali, Vahid Rafeh (2015)
A FRAMEWORK TO PERFORMANCE ANALYSIS OF SOFTWARE ARCHITECTURAL STYLES Vahid Rafeh, Mohsen Rahmani (2014)
A heuristic solution for model checking graph transformation systems Roza Yusefian, Vahid Rafeh, Mohsen Rahmani (2014)
A Formal Approach to Secure Design of the Insulin Pump Behavior Siamak Rasoolzadeh, Maryam Monfaredzadeh, Vahid Rafeh (2014)
A Reliable Architectural Style for Designing Pervasive Healthcare Systems Vahid Rafeh, Masoumeh Hajvali (2014)
Breast Cancer Prediction by Using C5.0 Algorithm and BOOSTING Method Vahid Rafeh, Sara Hashemi Farhoud, Siamak Rasoolzadeh (2014)
Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations Mahdi Rahimi Naddaf, Vahid Rafeh (2013)
A Survey on Coping with the State Space Explosion Problem in Model Checking Vahid Rafeh, Mohsen Rahmani, Kianoush Rashidi (2013)
Scenario-driven analysis of systems specified through graph transformations Vahid Rafeh (2013)
A NOVEL WEB-BASED HUMAN ADVISOR FUZZY EXPERT SYSTEM Vahid Rafeh, Mahdi Hassani Goodarzi (2013)
Designing an architectural style for pervasive healthcare systems. Vahid Rafeh, Masoumeh Hajvali (2012)
A Survey on Data Mining Approaches in Medicine Vahid Rafeh, Roghayeh Hashemi Farhoud (2012)
ASM2Bogor: An approach for verification of models specified through Asmeta language Vahid Rafeh, Saeed Doostali (2012)
A Novel approach to solve traveling salesman problem inspired by Eurygasters movement Vahid Rafeh, Khosro karimi (2012)
Educational Advisor System Implemented by Web-Based Fuzzy Expert Systems Mahdi Hassani Goodarzi, Vahid Rafeh (2012)
Formal Analysis of Service-oriented Architectures Vahid Rafeh (2011)
An Adaptive Method Based on High-Level Petri Nets for E-Learning Fatemeh Omrani, Ali Harounabadi, Vahid Rafeh (2011)
A Qualitative Framework to Assess Hospital / Medical Websites Vahid Rafeh, Maryam Mongaredzadeh (2011)
From Class Diagrams to Relational Tables: A Graph Transformation-based Approach Vahid Rafeh, Shahram JAMALI, Mohsen Rahmani, Farzaneh MAHDIAN (2011)
Galoan: a multi-agent approach to herd cows Vahid Rafeh, Amin Nikanjam, Mohammad Rezaei (2011)
A formal framework to model and validate event-based software architecture Yahya Asadollahia, Vahid Rafeh, Samaneh Asadollahic, Somayeh Assadollahi (2011)
Style-based modeling and verification of fault tolerance service oriented architectures Vahid Rafeh, Farzaneh MAHDIAN (2011)
Optimal Real-Time Task Allocation in Wireless Sensor Actor Networks Mohsen Sharifi, Hossein Momeni, Vahid Rafeh (2010)
FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS Vahid Rafeh, ADEL T RAHMANI, Reza Rafeh (2010)
A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS Vahid Rafeh, ADEL T RAHMANI (2009)
Towards automated software model checking using graph transformation systems and Bogor Vahid Rafeh, ADEL T RAHMANI (2009)
Towards automated verification of layered graph transformation specifications Vahid Rafeh, ADEL T RAHMANI, L Baresi, P Spoletini (2009)
مقاله ارائه‌شده
تولید بهینه آرایه پوشش با قوه متغیر با استفاده از الگوریتم توده ذرات بهینه سجاد اسفندیاری، وحید رافع، محمود فرخیان (1398)
اتوماتیک سازی پوشش آرایه با استفاده از وارسی مدل و الگوریتم توده ذرات بهینه سجاد اسفندیاری، وحید رافع (1398)
راهکاری مبتنی بر یادگیری بیزی جهت وارسی سیستمهای مشخص شده با سبک معماری عین الله پیرا، وحید رافع (1398)
An approach to WF-nets generation using graph transformation system Mehdi Nourbakhsh, Vahid Rafeh (2017)
ارائه روشی ترکیبی جهت خوشه بندی داده ها با استفاده از الگوریتمهای k-means ژنتیک و PSO ناهید سلیمی، وحید رافع (1394)
بکارگیری داده کاوی در تشخیص بن بست در سیستمهای تبدیل گراف عین الله پیرا، وحید رافع، امین نیک انجام (1394)
ارائه یک راهکار بهینه برای تست خودکار نیازمندیهای عملکردی نرم افزار با استفاده از الگوریتم بهینه سازی توده ذرات وحید رافع، اکرم کلایی، سجاد اسفندیاری (1394)
پیش بینی وضعیت تحصیلی دانش آموزان با استفاده از الگوریتمهای نزدیکترین همسایه و ماشین بردار پشتیبان میلاد جمشیدی، امین نیک انجام، وحید رافع (1393)
اتوماتیک سازی پوشش آرایه با استفاده از وارسی مدل و الگوریتم توده ذرات بهینه سجاد اسفندیاری، وحید رافع (1393)
بهبود دقت پیش بینی وضعیت تحصیلی دانش آموزان با استفاده از الگوریتم ژنتیک و الگوریتم بهینه سازی توده ذرات میلاد جمشیدی، امین نیک انجام، وحید رافع (1393)
RNA–Protein Interaction Prediction Using Sequence Information Mohammad Akbaripour, Reza Rafeh, Javad Zahiri, Vahid Rafeh (2014)
ارزیابی کارایی معماری های مبتنی بر مولفه با استفاده از سیستم تبدیل راف الهام اشراقیان، محمد مهدی رحیمی نداف، وحید رافع (1392)
ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در وارسی سیستم های تبدیل گراف با استفاده از الگوریتم های تکاملی مریم مرادی، رزا یوسفیان، وحید رافع (1392)
Energy-aware Task Allocation in Wireless Sensor Actor Network Vahid Rafeh, Hossein Momeni, Mohsen Sharifi (2009)
کتاب
نظریه زبانها و ماشینها- همراه با مسائل حل شده وحید رافع، امین نیک انجام (1394)
پایان نامه های تقاضا محور و غیر تقاضا محور
ارائه راهکاری مبتنی بر یادگیری ماشین برای کشف و اصلاح باگ‌های کد با استفاده از تبدیلات خودکار مدل سیف اله سلیمانی، وحید رافع، لیلا یوسفوند (1402)
ارائه راهکاری مبتنی بر یادگیری ماشین برای کشف و اصلاح باگ‌های کد با استفاده از تبدیلات خودکار مدل سیف اله سلیمانی، وحید رافع، لیلا یوسفوند (1402)
تشخیص سایت‌های فیشینگ با بهره‌گیری از عملیات انتخاب ویژگی و ترکیب طبقه‌بندها مبتنی بر الگوریتم عقاب طلایی Vahid Rafeh, maryam Amiri, Mahdi Rezaie (2022)
یک الگوریتم خوشه‌بندی مبتنی بر انباشت شواهد وحید رافع، مریم امیری، مژگان محمدی (1401)
تشخیص وب‌سایت‌های فیشینگ بر اساس مدل‌های یادگیری ماشین مبتنی بر محتوا وحید رافع، مریم امیری، فاطمه نعیمی (1401)
بهبود کارآمدی و خودکارسازی تولید دنباله آزمون کمینه در آزمون ترکیبی وحید رافع، سجاد اسفندیاری (1400)
ارائه راهکاری مبتنی بر وارسی مدل اصلاح شده برای حل مسایل برنامه ریزی وحید رافع، محمد جواد محرابی (1399)
تولید مجموعه آزمون مبتنی بر مدل از توصیفات تبدیل گراف با استفاده از روشهای وارسی مدل و جستجوی وحید رافع، امین نیک انجام، انور بهرامپور (1399)
کاهش سربارهای پردازشی مکان یابی درون ساختمانی به کمک تقسیم بندی فضا وحید رافع، حسین غفاریان، الهه آقاصالحه (1398)
تولید بهینه مورد آزمون مبتنی بر مدل برای توصیفات تبدیل گراف با استفاده از تست جهش وحید رافع، فاطمه صالحی (1398)
حل مساله زمانبندی اتاق عمل به کمک تکنیک برنامه ریزی و وارسی مدل وحید رافع، فائزه رسولی فرح (1398)
ارائه راهکاری برای کشف آسیبپذیری پروتکل تراکنش الکترونیکی امن با کمک وارسی مدل وحید رافع، حسین غفاریان، فاطمه سادات محمدی (1398)
بررسی ویژگیهای دسترس پذیری در سیستمهای تبدیل گراف با استفاده از الگوریتم شبیه سازی تبریدی وحید رافع، محمد صادق دهقانی (1397)
استفاده از تکنیکهای چند سطحی به منظور افزایش کارآمدی وارسی مدل سیستمهای توصیف شده با تبدیل گراف وحید رافع، محمد بیات، زهرا پهلوان (1397)
بررسی ویژگیهای دسترس پذیری در سیستمهای تبدیل گراف با استفاده از روشهای مکاشفه ای وحید رافع، محمد علیوند صبور (1397)
ارائه راهکاری مبتنی بر سیستمهای وارسی مدل برای تحلیل آسیب پذیری های امنیتی پروتکل openflow در شبکه های نرم افزار محور حسین غفاریان، وحید رافع (1397)
ارائه راهکاری برای بررسی نقض ویژگی انصاف در سیستمهای توصیف شده با تبدیل گراف وحید رافع، عین الله پیرا، آمنه حبیبی (1397)
ارائه راهکاری نوین برای رفع مشکل انفجار فضای حالت در سیستمهای تبدیل گراف با کمک الگوریتم ازدحام ذرات و روشهای فازی وحید رافع، ناهید سلیمی (1397)
راهکاری جدید از ترکیب الگوریتمهای فرامکاشفه ای جهت تولید مورد آزمون با روش t ستونی وحید رافع، عباس آریانپور (1396)
تولید مورد آزمون مبتنی بر مدل از توصیفات تبدیل گراف با استفاده از تکنیکهای داده کاوی وحید رافع، اکرم کلایی، مریم عسکری (1396)
ارائه راهکاری برای افزایش کارایی سیستم پیشنهاد دهنده با ترکیب تکنیکهای مبتنی بر حاغظه و مبتنی بر مدل به کمک آنتولوژی محسن رحمانی، وحید رافع، کرم اله باقری فرد (1396)
تولید مورد آزمون از مدلهای توصیف شده با تبدیل گراف توسط تکنیکهای یادگیری ماشین وحید رافع، اکرم کلایی، سمیه محمدی (1396)
بهبود کارامدی وارسی مدل سیستمهای همروند با بهره گیری از تبدیل گراف و الگوریتمهای جستجوی هوشمند وحید رافع، امین نیک انجام، عین الله پیرا (1396)
ارائه یک استراتژی فرامکاشفه ای در بهینه سازی تولید دنباله آزمون ترکیباتی وحید رافع، محسن رحمانی (1395)
ارائه راه کاری فرامکاشفه ای با استفاده از بهینه سازی چندهدفه (مورد مطالعاتی تعیین رژیم غذایی) وحید رافع، رضا رافع، مهدی شیخ الاسلامی (1395)
طبقه بندی متون به کمک روشهای تحلیل احساسات محسن رحمانی، رضا رافع، وحید رافع، فرید قنبری (1395)
ارائه مدلی به منظور تخمین زیان در بیمه درمان گروهی با رویکرد شناسایی ریسک رضا رافع، وحید رافع، محسن رحمانی، صدیقه شمس الدینی (1395)
ارائه الگوریتمی کارا برای کلاس بندی جریان های داده ای فاخته سلطانی تفرشی، رضا رافع، وحید رافع، مهناز ملکی (1395)
جستجوی نقض ویژگی حیات در سیستمهای پیچیده توصیف شده با تبدیل گراف وحید رافع، فاخته سلطانی تفرشی، فریده درقایدی (1395)
ارائه رویکردی جدید جهت ترکیب حل کننده های مسائل ترکیباتی و بهینه سازی سیف اله سلیمانی، رضا رافع، وحید رافع، سید رضا الحسینی (1394)
تولید بهینه مورد آزمون مبتنی بر مدل برای توصیفات تبدیل گراف با استفاده از الگوریتمهای فرامکاشفه ای وحید رافع، محسن رحمانی، اکرم کلایی (1394)
استفاده از روشهای مبتنی بر تست جهش برای تولید نمونه تست های بهینه وحید رافع، محسن رحمانی، خاطره علی بابایی (1394)
کاوش نظرات با استفاده از تکنیکهای متن کاوی رضا رافع، وحید رافع، محسن رحمانی، عاطفه توکلی گارماسه (1394)
ارائه یک راهبرد مبتنی بر دانش برای کشف بن بست در سیستمهای تبدیل گراف وحید رافع، محسن رحمانی، مهران عیوض پور پرگو (1394)
ارائه راهکار نوین در راستای تولید دنباله آزمون بهینه با ترکیب الگوریتمهای فرامکاشفه ای وحید رافع، رضا رافع، سجاد اسفندیاری (1394)
بهبود کارایی سیستم تشخیص نفوذ با استفاده از پردازنده های گرافیکی وحید رافع، فاخته سلطانی تفرشی، رضا رافع، سید مرتضی هاشمی (1393)
ارائه الگوریتم بهینه کشف قوانین انجمنی در بانک های اطلاعاتی با استفاده از الگوریتم های تکاملی محسن رحمانی، فاخته سلطانی تفرشی، وحید رافع، امیر رضایی (1393)
ارائه یک پروتکل مسیریابی آگاه از انرژی و کیفیت سرویس با ترکیب کلونی مورچه و سیستم فازی در شبکه های حسگر بی سیم وحید رافع، فاخته سلطانی تفرشی، رضا رافع، امین نظری (1393)
بررسی آسیب پذیری شبکه در برابر حملات چند مرحله ای با استفاده از سیستمهای تبدیل گراف وحید رافع، نرگس کبیرکوهی (1393)
ارائه راهکاری برای بهینه سازی فرایند وارسی مدل از طریق تکنیکهای زمان کامپایل در سیستمهای توصیف شده با ماشین زماندار وحید رافع، محمد خدادادی (1393)
ارائه راهکاری برای مدلسازی تخصیص منابع و ارزیابی کارایی در محیط ابر محاسباتی وحید رافع، لیلا میرزایی گل محمدی (1393)
ارائه راهکاری مبتنی بر زمان برای تحلیل آسیب پذیری شبکه در مقابل حملات چندمرحله ای وحید رافع، زهره صفاریان عیدگاهی (1393)
جایگذاری صرفه به انرژی ماشینهای مجازی در مراکز داده ابری با بارکاری قابل پیش بینی وحید رافع، فرزانه منصوری (1393)
ارائه روشی جهت ارزیابی کارایی مدلهای توصیف شده با سیستم تبدیل گراف در معماری سرویسگرا وحید رافع، الهام اشراقیان (1393)
طرح پژوهشی خاتمه‌یافته

پیوندها

بیشتر
نیروگرفته از سامانه مدیریت پژوهشی ژیرو