Vahid Rafe

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