Vahid Rafe

According to our database, Vahid Rafe authored at least 57 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Using data mining techniques to generate test cases from graph transformation systems specifications.

Maryam Asgari Araghi, Vahid Rafe, Ferhat Khendek

Autom. Softw. Eng., June, 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., February, 2024

A three-phase approach to improve the functionality of t-way strategy.

Einollah Pira, Vahid Rafe, Sajad Esfandyari

Soft Comput., January, 2024

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., December, 2023

A comprehensive review of the security flaws of hashing algorithms.

Alireza Sadeghi-Nasab, Vahid Rafe

J. Comput. Virol. Hacking Tech., June, 2023

2022

Using Bayesian optimization algorithm for model-based integration testing.

Vahid Rafe, Somayeh Mohammady, Erik Cuevas

Soft Comput., 2022

Using deep reinforcement learning to search reachability properties in systems specified through graph transformation.

Mohammad Javad Mehrabi, Vahid Rafe

Soft Comput., 2022

Fake news detection using parallel BERT deep neural networks.

Mahmood Farokhian, Vahid Rafe, Hadi Veisi

CoRR, 2022

2021

Correction to: GALP: a hybrid artificial intelligence algorithm for generating covering array.

Sajad Esfandyari, Vahid Rafe

Soft Comput., 2021

GALP: a hybrid artificial intelligence algorithm for generating covering array.

Sajad Esfandyari, Vahid Rafe

Soft Comput., 2021

Using memetic algorithm for robustness testing of contract-based software models.

Anvar Bahrampour, Vahid Rafe

Artif. Intell. Rev., 2021

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 search-based techniques for testing executable software models specified through graph transformations.

Anvar Bahrampour, Vahid Rafe

Int. J. Mach. Learn. Cybern., 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

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

Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms.

Sajad Esfandyari, Vahid Rafe

Appl. Soft Comput., 2020

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

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

Model-based test suite generation for graph transformation system using model simulation and search-based techniques.

Akram Kalaee, Vahid Rafe

Inf. Softw. Technol., 2019

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

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 tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy.

Sajad Esfandyari, Vahid Rafe

Inf. Softw. Technol., 2018

2017

Performance improvement for recommender systems using ontology.

Karamollah Bagherifard, Mohsen Rahmani, Mehrbakhsh Nilashi, Vahid Rafe

Telematics Informatics, 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

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

2016

Security analysis of network protocols through model checking: a case study on mobile IPv6.

Zohreh Saffarian Eidgahi, Vahid Rafe

Secur. Commun. Networks, 2016

An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm.

Akram Kalaee, Vahid Rafe

Qual. Reliab. Eng. Int., 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

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

2015

Using graph transformation systems to formalize Tropos diagrams.

Vahid Rafe, Mitra Golparian, Siamak Rasoolzadeh

J. Vis. Lang. Comput., 2015

A security framework for developing service-oriented software architectures.

Vahid Rafe, Ramin Hosseinpouri

Secur. Commun. Networks, 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 hybrid heuristic workflow scheduling algorithm for cloud computing environments.

Sahar Mirzayi, Vahid Rafe

J. Exp. Theor. Artif. Intell., 2015

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

2014

A Reliable Architectural Style for Designing Pervasive Healthcare Systems.

Vahid Rafe, Masoumeh Hajvali

J. Medical Syst., 2014

A heuristic solution for model checking graph transformation systems.

Rosa Yousefian, Vahid Rafe, Mohsen Rahmani

Appl. Soft Comput., 2014

2013

Scenario-driven analysis of systems specified through graph transformations.

Vahid Rafe

J. Vis. Lang. Comput., 2013

Designing an Architectural Style for Pervasive Healthcare Systems.

Vahid Rafe, Masoumeh Hajvali

J. Medical Syst., 2013

Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations.

Mahdi Rahimi Naddaf, Vahid Rafe

Comput. Informatics, 2013

2012

ASM2Bogor: An approach for verification of models specified through Asmeta language.

Vahid Rafe, Saeed Doostali

J. Vis. Lang. Comput., 2012

A Qualitative Framework to Assess Hospital / Medical Websites.

Vahid Rafe, Maryam Monfaredzadeh

J. Medical Syst., 2012

2011

Style-based modeling and verification of fault tolerance service oriented architectures.

Vahid Rafe, Farzaneh Mahdian

Proceedings of the First World Conference on Information Technology, 2011

A formal framework to model and validate event-based software architecture.

Yahya Asadollahi, Vahid Rafe, Samaneh Asadollahi, Somayeh Assadollahi

Proceedings of the First World Conference on Information Technology, 2011

An Adaptive Method Based on High-Level Petri Nets for E-Learning.

Fatemeh Omrani, Ali Harounabadi, Vahid Rafe

J. Softw. Eng. Appl., 2011

Galoan: a multi-agent approach to herd cows.

Vahid Rafe, Amin Nikanjam, Mohammad Rezaei

Ann. Math. Artif. Intell., 2011

2010

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

2009

A Novel Approach to Verify Graph Schema-Based Software Systems.

Vahid Rafe, Adel Torkaman Rahmani

Int. J. Softw. Eng. Knowl. Eng., 2009

Towards automated verification of layered graph transformation specifications.

Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini

IET Softw., 2009

Modeling Fault Tolerant Services in Service-Oriented Architecture.

Farzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani

Proceedings of the TASE 2009, 2009

Towards Automated Software Verification Using Model Checking Techniques.

Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani

Proceedings of the TASE 2009, 2009

A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks.

Hossein Momeni, Vahid Rafe, Mohsen Sharifi, Adel Torkaman Rahmani

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

2008

Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.

Vahid Rafe, Adel Torkaman Rahmani

Proceedings of the Theoretical Aspects of Computing, 2008

A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows.

Vahid Rafe, Adel Torkaman Rahmani

Proceedings of the Advances in Computer Science and Engineering, 2008

2007

An Efficient Solution for Model Checking Graph Transformation Systems.

Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini

Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

2006

An MDA-Based Modeling and Design of Service Oriented Architecture.

Adel Torkaman Rahmani, Vahid Rafe, Saeed Sedighian, Amin Abbaspour

Proceedings of the Computational Science, 2006

2005

Providing Local ORB-Like Services to Collocated CORBA Components.

Hossein Momeni, T. Rahmani, Mohsen Sharifi, Vahid Rafe

Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

2004

CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support.

Mohsen Sharifi, Adel Torkaman Rahmani, Vahid Rafe, Hossein Momeni

Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004