CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support. - Mohsen Sharifi; Adel Torkaman Rahmani; Vahid Rafe; Hossein Momeni (CoopIS/DOA/ODBASE (2), 2004)

Providing Local ORB-Like Services to Collocated CORBA Components. - Hossein Momeni; T. Rahmani; Mohsen Sharifi; Vahid Rafe (CLUSTER, 2005)

An MDA-Based Modeling and Design of Service Oriented Architecture. - Adel Torkaman Rahmani; Vahid Rafe; Saeed Sedighian; Amin Abbaspour (International Conference on Computational Science (3), 2006)

An Efficient Solution for Model Checking Graph Transformation Systems. - Luciano Baresi; Vahid Rafe; Adel Torkaman Rahmani; Paola Spoletini (GT-VC@CONCUR, 2007)

A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows. - Vahid Rafe; Adel Torkaman Rahmani (CSICC, 2008)

Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. - Vahid Rafe; Adel Torkaman Rahmani (ICTAC, 2008)

A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks. - Hossein Momeni; Vahid Rafe; Mohsen Sharifi; Adel Torkaman Rahmani (SEKE, 2009)

Towards Automated Software Verification Using Model Checking Techniques. - Samaneh Asadollahi; Vahid Rafe; Reza Rafeh; Adel Torkaman Rahmani (TASE, 2009)

Modeling Fault Tolerant Services in Service-Oriented Architecture. - Farzaneh Mahdian; Vahid Rafe; Reza Rafeh; Adel Torkaman Rahmani (TASE, 2009)

Towards automated verification of layered graph transformation specifications. - Vahid Rafe; Adel Torkaman Rahmani; Luciano Baresi; Paola Spoletini (IET Softw., 2009)

A Novel Approach to Verify Graph Schema-Based Software Systems. - Vahid Rafe; Adel Torkaman Rahmani (Int. J. Softw. Eng. Knowl. Eng., 2009)

Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems. - Vahid Rafe; Adel Torkaman Rahmani; Reza Rafeh (Int. J. Softw. Eng. Knowl. Eng., 2010)

Galoan: a multi-agent approach to herd cows. - Vahid Rafe; Amin Nikanjam; Mohammad Rezaei (Ann. Math. Artif. Intell., 2011)

An Adaptive Method Based on High-Level Petri Nets for E-Learning. - Fatemeh Omrani; Ali Harounabadi; Vahid Rafe (J. Softw. Eng. Appl., 2011)

A formal framework to model and validate event-based software architecture. - Yahya Asadollahi; Vahid Rafe; Samaneh Asadollahi; Somayeh Assadollahi (WCIT, 2011)

Style-based modeling and verification of fault tolerance service oriented architectures. - Vahid Rafe; Farzaneh Mahdian (WCIT, 2011)

A Qualitative Framework to Assess Hospital / Medical Websites. - Vahid Rafe; Maryam Monfaredzadeh (J. Medical Syst., 2012)

ASM2Bogor: An approach for verification of models specified through Asmeta language. - Vahid Rafe; Saeed Doostali (J. Vis. Lang. Comput., 2012)

Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations. - Mahdi Rahimi Naddaf; Vahid Rafe (Comput. Informatics, 2013)

Designing an Architectural Style for Pervasive Healthcare Systems. - Vahid Rafe; Masoumeh Hajvali (J. Medical Syst., 2013)

Scenario-driven analysis of systems specified through graph transformations. - Vahid Rafe (J. Vis. Lang. Comput., 2013)

A heuristic solution for model checking graph transformation systems. - Rosa Yousefian; Vahid Rafe; Mohsen Rahmani (Appl. Soft Comput., 2014)

A Reliable Architectural Style for Designing Pervasive Healthcare Systems. - Vahid Rafe; Masoumeh Hajvali (J. Medical Syst., 2014)

A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations. - Vahid Rafe; Maryam Moradi; Rosa Yousefian; Amin Nikanjam (Appl. Soft Comput., 2015)

A hybrid heuristic workflow scheduling algorithm for cloud computing environments. - Sahar Mirzayi; Vahid Rafe (J. Exp. Theor. Artif. Intell., 2015)

A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain. - Vahid Rafe; Zahra Paiandeh; Amin Nikanjam (J. Intell. Fuzzy Syst., 2015)

A security framework for developing service-oriented software architectures. - Vahid Rafe; Ramin Hosseinpouri (Secur. Commun. Networks, 2015)

Using graph transformation systems to formalize Tropos diagrams. - Vahid Rafe; Mitra Golparian; Siamak Rasoolzadeh (J. Vis. Lang. Comput., 2015)

EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles. - Einollah Pira; Vahid Rafe; Amin Nikanjam (Appl. Soft Comput., 2016)

A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems. - Rosa Yousefian; Shahryar Aboutorabi; Vahid Rafe (J. Intell. Fuzzy Syst., 2016)

An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm. - Akram Kalaee; Vahid Rafe (Qual. Reliab. Eng. Int., 2016)

Security analysis of network protocols through model checking: a case study on mobile IPv6. - Zohreh Saffarian Eidgahi; Vahid Rafe (Secur. Commun. Networks, 2016)

A recommender system for tourism industry using cluster ensemble and prediction machine learning techniques. - Mehrbakhsh Nilashi; Karamollah Bagherifard; Mohsen Rahmani; Vahid Rafe (Comput. Ind. Eng., 2017)

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm. - Einollah Pira; Vahid Rafe; Amin Nikanjam (J. Syst. Softw., 2017)

Performance improvement for recommender systems using ontology. - Karamollah Bagherifard; Mohsen Rahmani; Mehrbakhsh Nilashi; Vahid Rafe (Telematics Informatics, 2017)

A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy. - Sajad Esfandyari; Vahid Rafe (Inf. Softw. Technol., 2018)

Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations. - Einollah Pira; Vahid Rafe; Amin Nikanjam (Inf. Softw. Technol., 2018)

A Recommendation Method Based on Semantic Similarity and Complementarity Using Weighted Taxonomy: A Case on Construction Materials Dataset. - Karamollah Bagherifard; Mohsen Rahmani; Vahid Rafe; Mehrbakhsh Nilashi (J. Inf. Knowl. Manag., 2018)

Model-based test suite generation for graph transformation system using model simulation and search-based techniques. - Akram Kalaee; Vahid Rafe (Inf. Softw. Technol., 2019)

Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation. - Einollah Pira; Vahid Rafe; Amin Nikanjam (Reliab. Eng. Syst. Saf., 2019)

MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation. - Vahid Rafe; Mahsa Darghayedi; Einollah Pira (Soft Comput., 2019)

Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms. - Sajad Esfandyari; Vahid Rafe (Appl. Soft Comput., 2020)

An efficient approach to state space management in model checking of complex software systems using machine learning techniques. - Mohammad Yasrebi; Vahid Rafe; Hamid Parvin; Samad Nejatian (J. Intell. Fuzzy Syst., 2020)

A new metaheuristic approach based on agent systems principles. - Erik Cuevas; Jorge Gálvez; Karla Avila; Miguel Toski; Vahid Rafe (J. Comput. Sci., 2020)

Using search-based techniques for testing executable software models specified through graph transformations. - Anvar Bahrampour; Vahid Rafe (Int. J. Mach. Learn. Cybern., 2020)

An approach based on knowledge exploration for state space management in checking reachability of complex software systems. - Jaafar Partabian; Vahid Rafe; Hamid Parvin; Samad Nejatian (Soft Comput., 2020)

Using memetic algorithm for robustness testing of contract-based software models. - Anvar Bahrampour; Vahid Rafe (Artif. Intell. Rev., 2021)

GALP: a hybrid artificial intelligence algorithm for generating covering array. - Sajad Esfandyari; Vahid Rafe (Soft Comput., 2021)

Correction to: GALP: a hybrid artificial intelligence algorithm for generating covering array. - Sajad Esfandyari; Vahid Rafe (Soft Comput., 2021)

Fake news detection using parallel BERT deep neural networks. - Mahmood Farokhian; Vahid Rafe; Hadi Veisi (CoRR, 2022)

Using deep reinforcement learning to search reachability properties in systems specified through graph transformation. - Mohammad Javad Mehrabi; Vahid Rafe (Soft Comput., 2022)

Using Bayesian optimization algorithm for model-based integration testing. - Vahid Rafe; Somayeh Mohammady; Erik Cuevas (Soft Comput., 2022)

A comprehensive review of the security flaws of hashing algorithms. - Alireza Sadeghi-Nasab; Vahid Rafe (J. Comput. Virol. Hacking Tech., 2023)

Automatic bug localization using a combination of deep learning and model transformation through node classification. - Leila Yousofvand; Seyfollah Soleimani; Vahid Rafe (Softw. Qual. J., 2023)

A three-phase approach to improve the functionality of t-way strategy. - Einollah Pira; Vahid Rafe; Sajad Esfandyari (Soft Comput., 2024)

Automatic program bug fixing by focusing on finding the shortest sequence of changes. - Leila Yousofvand; Seyfollah Soleimani; Vahid Rafe; Sajad Esfandyari (Artif. Intell. Rev., 2024)

Fake news detection using dual BERT deep neural networks. - Mahmood Farokhian; Vahid Rafe; Hadi Veisi (Multim. Tools Appl., 2024)

Using data mining techniques to generate test cases from graph transformation systems specifications. - Maryam Asgari Araghi; Vahid Rafe; Ferhat Khendek (Autom. Softw. Eng., 2024)

Test Case Generation from Graph Transformation Systems Using Deep Reinforcement Learning. - Simin Ghasemi; Vahid Rafe; Mohammad Mehrabi; Reiko Heckel; Issam Al-Azzoni (ICGT, 2025)

Whole test suite generation from graph transformation specifications using ant colony optimization. - Simin Ghasemi; Vahid Rafe; Anvar Bahrampour; Reiko Heckel (Softw. Qual. J., 2025)