وحید رافع

A Hybrid Approach for Reachability Analysis of Complex Software Systems Using Fuzzy Adaptive Particle Swarm Optimization Algorithm and Rule Composition Nahid Salimi, Seyfollah Soleimani, Vahid Rafeh, Davood Khodadad (2025) Mathematical and Computational Applications: -; 30

A three-phase approach to improve the functionality of t-way strategy Einollah pira, Vahid Rafeh, Sajad Esfandiary (2023) Soft computing: 28; 415-435

Automatic program bug fixing by focusing on finding the shortest sequence of changes Leila Yousofvand, Seyfollah Soleimani, Vahid Rafeh, Sajad Esfandiary (2023) Artificial Intelligence Review: 57; 39 (1-23)

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) Journal of Soft Computing and Information Technology (JSCIT): 1; 41-51

BBAC: Behavior-based access control to detect user suspicious behavior Leyla Rikhtekchi, Vahid Rafeh, Afshin Rezakhani (2022) journal of intelligent and fuzzy systems: 43; 8207-8220

Using Bayesian optimization algorithm for model-based integration testing Vahid Rafeh, somaye mohamadi, Erik Cuevas (2022) SOFT COMPUT: 26; 3503-3525

Using memetic algorithm for robustness testing of contract‑based software models Anvar Bahrampour, Vahid Rafeh (2021) Artificial Intelligence Review: 54; 877-915

A new metaheuristic approach based on agent systems principles Erik Cuevas, Jorge G´alvez, Karla Avila, Miguel Toski, Vahid Rafeh (2020) computational science: 47; 1-20

Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms Sajad Esfandiary, Vahid Rafeh (2020) Applied Soft Computing: 91; 1-20

Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation Einollah pira, Vahid Rafeh, Amin Nikanjam (2019) RELIAB ENG SYST SAFE: 191; 1-18

MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation Vahid Rafeh, Farideh Darghayedi, Einollah pira (2019) SOFT COMPUT: 23; 4531–4556

A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy Sajad Esfandiary, Vahid Rafeh (2017) information and software technology: 94; 165-185

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm Einollah pira, Vahid Rafeh, Amin Nikanjam (2017) System and Software: 131; 181-200

EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles Einollah pira, Vahid Rafeh, Amin Nikanjam (2016) Applied Soft Computing: 49; 1185–1201

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems Roza Yusefian, Shahriyar Abootorabi, Vahid Rafeh (2016) journal of intelligent and fuzzy systems: 31; 137-149

A security framework for developing service-oriented software architectures Vahid Rafeh, Ramin Hosseinpoori (2015) security and communication networks: 8; 82957–2972

A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain Vahid Rafeh, Amin Nikanjam (2015) journal of intelligent and fuzzy systems: 29; 2169–2176

Performance Measurement of Models Specified Through Component-based Software Architectural Styles Elham Eshraghian, Vahid Rafeh (2015) Measurement: 73; 372-383

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) Journal of Medical Imaging and Health Informatics: 5; 533-538

A heuristic solution for model checking graph transformation systems Roza Yusefian, Vahid Rafeh, Mohsen Rahmani (2014) Applied Soft Computing: 24; 169-180

A Formal Approach to Secure Design of the Insulin Pump Behavior Siamak Rasoolzadeh, Maryam Monfaredzadeh, Vahid Rafeh (2014) Journal of Medical Imaging and Health Informatics: 4; 712-723

Breast Cancer Prediction by Using C5.0 Algorithm and BOOSTING Method Vahid Rafeh, Sara Hashemi Farhoud, Siamak Rasoolzadeh (2014) Journal of Medical Imaging and Health Informatics: 4; 600-604

A Survey on Coping with the State Space Explosion Problem in Model Checking Vahid Rafeh, Mohsen Rahmani, Kianoush Rashidi (2013)

A NOVEL WEB-BASED HUMAN ADVISOR FUZZY EXPERT SYSTEM Vahid Rafeh, Mahdi Hassani Goodarzi (2013)

A Survey on Data Mining Approaches in Medicine Vahid Rafeh, Roghayeh Hashemi Farhoud (2012)

A Novel approach to solve traveling salesman problem inspired by Eurygasters movement Vahid Rafeh, Khosro karimi (2012)

Formal Analysis of Service-oriented Architectures Vahid Rafeh (2011)

A Qualitative Framework to Assess Hospital / Medical Websites Vahid Rafeh, Maryam Mongaredzadeh (2011)

Galoan: a multi-agent approach to herd cows Vahid Rafeh, Amin Nikanjam, Mohammad Rezaei (2011)

Style-based modeling and verification of fault tolerance service oriented architectures Vahid Rafeh, Farzaneh MAHDIAN (2011)

FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS Vahid Rafeh, ADEL T RAHMANI, Reza Rafeh (2010)

Towards automated software model checking using graph transformation systems and Bogor Vahid Rafeh, ADEL T RAHMANI (2009)