2024 : 12 : 26
فارسی
Vahid Rafeh

Vahid Rafeh

Academic rank:
ORCID: https://orcid.org/0000-0002-2486-7384
Education: PhD.
ScopusId: 14054926800
HIndex:
Faculty:
Address: Arak University
Phone:
Home

Research activities

Journal Papers
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)
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)
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)
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)
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)
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)
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)
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)
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)
Conference Papers
An approach to WF-nets generation using graph transformation system Mehdi Nourbakhsh, Vahid Rafeh (2017)
RNA–Protein Interaction Prediction Using Sequence Information Mohammad Akbaripour, Reza Rafeh, Javad Zahiri, Vahid Rafeh (2014)
Energy-aware Task Allocation in Wireless Sensor Actor Network Vahid Rafeh, Hossein Momeni, Mohsen Sharifi (2009)
Theses

Links

More
Powered By Jiro