Vahid Rafe

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 35

Top Topics

Deadlock Detection

Software Systems

Graph Transformation

Top Venues

Appl. Soft Comput.

Inf. Softw. Technol.

J. Intell. Fuzzy Syst.

Publications

Mahmood Farokhian, Vahid Rafe, Hadi Veisi
Fake news detection using dual BERT deep neural networks. Multim. Tools Appl. 83 (15) (2024)
Maryam Asgari Araghi, Vahid Rafe, Ferhat Khendek
Using data mining techniques to generate test cases from graph transformation systems specifications. Autom. Softw. Eng. 31 (1) (2024)
Leila Yousofvand, Seyfollah Soleimani, Vahid Rafe, Sajad Esfandyari
Automatic program bug fixing by focusing on finding the shortest sequence of changes. Artif. Intell. Rev. 57 (2) (2024)
Einollah Pira, Vahid Rafe, Sajad Esfandyari
A three-phase approach to improve the functionality of t-way strategy. Soft Comput. 28 (1) (2024)
Leila Yousofvand, Seyfollah Soleimani, Vahid Rafe
Automatic bug localization using a combination of deep learning and model transformation through node classification. Softw. Qual. J. 31 (4) (2023)
Alireza Sadeghi-Nasab, Vahid Rafe
A comprehensive review of the security flaws of hashing algorithms. J. Comput. Virol. Hacking Tech. 19 (2) (2023)
Mohammad Javad Mehrabi, Vahid Rafe
Using deep reinforcement learning to search reachability properties in systems specified through graph transformation. Soft Comput. 26 (18) (2022)
Vahid Rafe, Somayeh Mohammady, Erik Cuevas
Using Bayesian optimization algorithm for model-based integration testing. Soft Comput. 26 (7) (2022)
Mahmood Farokhian, Vahid Rafe, Hadi Veisi
Fake news detection using parallel BERT deep neural networks. CoRR (2022)
Sajad Esfandyari, Vahid Rafe
Correction to: GALP: a hybrid artificial intelligence algorithm for generating covering array. Soft Comput. 25 (11) (2021)
Sajad Esfandyari, Vahid Rafe
GALP: a hybrid artificial intelligence algorithm for generating covering array. Soft Comput. 25 (11) (2021)
Anvar Bahrampour, Vahid Rafe
Using memetic algorithm for robustness testing of contract-based software models. Artif. Intell. Rev. 54 (2) (2021)
Jaafar Partabian, Vahid Rafe, Hamid Parvin, Samad Nejatian
An approach based on knowledge exploration for state space management in checking reachability of complex software systems. Soft Comput. 24 (10) (2020)
Erik Cuevas, Jorge Gálvez, Karla Avila, Miguel Toski, Vahid Rafe
A new metaheuristic approach based on agent systems principles. J. Comput. Sci. 47 (2020)
Sajad Esfandyari, Vahid Rafe
Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms. Appl. Soft Comput. 91 (2020)
Anvar Bahrampour, Vahid Rafe
Using search-based techniques for testing executable software models specified through graph transformations. Int. J. Mach. Learn. Cybern. 11 (12) (2020)
Mohammad Yasrebi, Vahid Rafe, Hamid Parvin, Samad Nejatian
An efficient approach to state space management in model checking of complex software systems using machine learning techniques. J. Intell. Fuzzy Syst. 38 (2) (2020)
Vahid Rafe, Mahsa Darghayedi, Einollah Pira
MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation. Soft Comput. 23 (12) (2019)
Akram Kalaee, Vahid Rafe
Model-based test suite generation for graph transformation system using model simulation and search-based techniques. Inf. Softw. Technol. 108 (2019)
Einollah Pira, Vahid Rafe, Amin Nikanjam
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation. Reliab. Eng. Syst. Saf. 191 (2019)
Sajad Esfandyari, Vahid Rafe
A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy. Inf. Softw. Technol. 94 (2018)
Karamollah Bagherifard, Mohsen Rahmani, Vahid Rafe, Mehrbakhsh Nilashi
A Recommendation Method Based on Semantic Similarity and Complementarity Using Weighted Taxonomy: A Case on Construction Materials Dataset. J. Inf. Knowl. Manag. 17 (1) (2018)
Einollah Pira, Vahid Rafe, Amin Nikanjam
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations. Inf. Softw. Technol. 97 (2018)
Mehrbakhsh Nilashi, Karamollah Bagherifard, Mohsen Rahmani, Vahid Rafe
A recommender system for tourism industry using cluster ensemble and prediction machine learning techniques. Comput. Ind. Eng. 109 (2017)
Einollah Pira, Vahid Rafe, Amin Nikanjam
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm. J. Syst. Softw. 131 (2017)
Karamollah Bagherifard, Mohsen Rahmani, Mehrbakhsh Nilashi, Vahid Rafe
Performance improvement for recommender systems using ontology. Telematics Informatics 34 (8) (2017)
Akram Kalaee, Vahid Rafe
An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm. Qual. Reliab. Eng. Int. 32 (7) (2016)
Einollah Pira, Vahid Rafe, Amin Nikanjam
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles. Appl. Soft Comput. 49 (2016)
Zohreh Saffarian Eidgahi, Vahid Rafe
Security analysis of network protocols through model checking: a case study on mobile IPv6. Secur. Commun. Networks 9 (10) (2016)
Rosa Yousefian, Shahryar Aboutorabi, Vahid Rafe
A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems. J. Intell. Fuzzy Syst. 31 (1) (2016)
Vahid Rafe, Ramin Hosseinpouri
A security framework for developing service-oriented software architectures. Secur. Commun. Networks 8 (17) (2015)
Sahar Mirzayi, Vahid Rafe
A hybrid heuristic workflow scheduling algorithm for cloud computing environments. J. Exp. Theor. Artif. Intell. 27 (6) (2015)
Vahid Rafe, Maryam Moradi, Rosa Yousefian, Amin Nikanjam
A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations. Appl. Soft Comput. 33 (2015)
Vahid Rafe, Mitra Golparian, Siamak Rasoolzadeh
Using graph transformation systems to formalize Tropos diagrams. J. Vis. Lang. Comput. 30 (2015)
Vahid Rafe, Zahra Paiandeh, Amin Nikanjam
A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain. J. Intell. Fuzzy Syst. 29 (5) (2015)
Rosa Yousefian, Vahid Rafe, Mohsen Rahmani
A heuristic solution for model checking graph transformation systems. Appl. Soft Comput. 24 (2014)
Vahid Rafe, Masoumeh Hajvali
A Reliable Architectural Style for Designing Pervasive Healthcare Systems. J. Medical Syst. 38 (9) (2014)
Mahdi Rahimi Naddaf, Vahid Rafe
Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations. Comput. Informatics 32 (4) (2013)
Vahid Rafe
Scenario-driven analysis of systems specified through graph transformations. J. Vis. Lang. Comput. 24 (2) (2013)
Vahid Rafe, Masoumeh Hajvali
Designing an Architectural Style for Pervasive Healthcare Systems. J. Medical Syst. 37 (2) (2013)
Vahid Rafe, Maryam Monfaredzadeh
A Qualitative Framework to Assess Hospital / Medical Websites. J. Medical Syst. 36 (5) (2012)
Vahid Rafe, Saeed Doostali
ASM2Bogor: An approach for verification of models specified through Asmeta language. J. Vis. Lang. Comput. 23 (5) (2012)
Fatemeh Omrani, Ali Harounabadi, Vahid Rafe
An Adaptive Method Based on High-Level Petri Nets for E-Learning. J. Softw. Eng. Appl. 4 (10) (2011)
Yahya Asadollahi, Vahid Rafe, Samaneh Asadollahi, Somayeh Assadollahi
A formal framework to model and validate event-based software architecture. WCIT (2011)
Vahid Rafe, Amin Nikanjam, Mohammad Rezaei
Galoan: a multi-agent approach to herd cows. Ann. Math. Artif. Intell. 61 (4) (2011)
Vahid Rafe, Farzaneh Mahdian
Style-based modeling and verification of fault tolerance service oriented architectures. WCIT (2011)
Vahid Rafe, Adel Torkaman Rahmani, Reza Rafeh
Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems. Int. J. Softw. Eng. Knowl. Eng. 20 (5) (2010)
Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini
Towards automated verification of layered graph transformation specifications. IET Softw. 3 (4) (2009)
Hossein Momeni, Vahid Rafe, Mohsen Sharifi, Adel Torkaman Rahmani
A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks. SEKE (2009)
Vahid Rafe, Adel Torkaman Rahmani
A Novel Approach to Verify Graph Schema-Based Software Systems. Int. J. Softw. Eng. Knowl. Eng. 19 (6) (2009)
Farzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani
Modeling Fault Tolerant Services in Service-Oriented Architecture. TASE (2009)
Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani
Towards Automated Software Verification Using Model Checking Techniques. TASE (2009)
Vahid Rafe, Adel Torkaman Rahmani
A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows. CSICC (2008)
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini
An Efficient Solution for Model Checking Graph Transformation Systems. Electron. Notes Theor. Comput. Sci. 213 (1) (2008)
Vahid Rafe, Adel Torkaman Rahmani
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. ICTAC (2008)
Adel Torkaman Rahmani, Vahid Rafe, Saeed Sedighian, Amin Abbaspour
An MDA-Based Modeling and Design of Service Oriented Architecture. International Conference on Computational Science (3) (2006)
Hossein Momeni, T. Rahmani, Mohsen Sharifi, Vahid Rafe
Providing Local ORB-Like Services to Collocated CORBA Components. CLUSTER (2005)
Mohsen Sharifi, Adel Torkaman Rahmani, Vahid Rafe, Hossein Momeni
CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support. CoopIS/DOA/ODBASE (2) (2004)