default search action
Vahid Rafe
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j46]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): 39 (2024) - [j45]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): 17 (2024) - [j44]Mahmood Farokhian, Vahid Rafe, Hadi Veisi:
Fake news detection using dual BERT deep neural networks. Multim. Tools Appl. 83(15): 43831-43848 (2024) - [j43]Einollah Pira, Vahid Rafe, Sajad Esfandyari:
A three-phase approach to improve the functionality of t-way strategy. Soft Comput. 28(1): 415-435 (2024) - 2023
- [j42]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): 1045-1063 (2023) - [j41]Alireza Sadeghi-Nasab, Vahid Rafe:
A comprehensive review of the security flaws of hashing algorithms. J. Comput. Virol. Hacking Tech. 19(2): 287-302 (2023) - 2022
- [j40]Vahid Rafe, Somayeh Mohammady, Erik Cuevas:
Using Bayesian optimization algorithm for model-based integration testing. Soft Comput. 26(7): 3503-3525 (2022) - [j39]Mohammad Javad Mehrabi, Vahid Rafe:
Using deep reinforcement learning to search reachability properties in systems specified through graph transformation. Soft Comput. 26(18): 9635-9663 (2022) - [i1]Mahmood Farokhian, Vahid Rafe, Hadi Veisi:
Fake news detection using parallel BERT deep neural networks. CoRR abs/2204.04793 (2022) - 2021
- [j38]Anvar Bahrampour, Vahid Rafe:
Using memetic algorithm for robustness testing of contract-based software models. Artif. Intell. Rev. 54(2): 877-915 (2021) - [j37]Sajad Esfandyari, Vahid Rafe:
GALP: a hybrid artificial intelligence algorithm for generating covering array. Soft Comput. 25(11): 7673-7689 (2021) - [j36]Sajad Esfandyari, Vahid Rafe:
Correction to: GALP: a hybrid artificial intelligence algorithm for generating covering array. Soft Comput. 25(11): 7691 (2021) - 2020
- [j35]Sajad Esfandyari, Vahid Rafe:
Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms. Appl. Soft Comput. 91: 106219 (2020) - [j34]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): 1761-1773 (2020) - [j33]Erik Cuevas, Jorge Gálvez, Karla Avila, Miguel Toski, Vahid Rafe:
A new metaheuristic approach based on agent systems principles. J. Comput. Sci. 47: 101244 (2020) - [j32]Anvar Bahrampour, Vahid Rafe:
Using search-based techniques for testing executable software models specified through graph transformations. Int. J. Mach. Learn. Cybern. 11(12): 2743-2770 (2020) - [j31]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): 7181-7196 (2020)
2010 – 2019
- 2019
- [j30]Akram Kalaee, Vahid Rafe:
Model-based test suite generation for graph transformation system using model simulation and search-based techniques. Inf. Softw. Technol. 108: 1-29 (2019) - [j29]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) - [j28]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): 4531-4556 (2019) - 2018
- [j27]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: 165-185 (2018) - [j26]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: 110-134 (2018) - [j25]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): 1850010:1-1850010:26 (2018) - 2017
- [j24]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: 357-368 (2017) - [j23]Einollah Pira, Vahid Rafe, Amin Nikanjam:
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm. J. Syst. Softw. 131: 181-200 (2017) - [j22]Karamollah Bagherifard, Mohsen Rahmani, Mehrbakhsh Nilashi, Vahid Rafe:
Performance improvement for recommender systems using ontology. Telematics Informatics 34(8): 1772-1792 (2017) - 2016
- [j21]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: 1185-1201 (2016) - [j20]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): 137-149 (2016) - [j19]Akram Kalaee, Vahid Rafe:
An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm. Qual. Reliab. Eng. Int. 32(7): 2263-2279 (2016) - [j18]Zohreh Saffarian Eidgahi, Vahid Rafe:
Security analysis of network protocols through model checking: a case study on mobile IPv6. Secur. Commun. Networks 9(10): 1072-1084 (2016) - 2015
- [j17]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: 136-149 (2015) - [j16]Sahar Mirzayi, Vahid Rafe:
A hybrid heuristic workflow scheduling algorithm for cloud computing environments. J. Exp. Theor. Artif. Intell. 27(6): 721-735 (2015) - [j15]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): 2169-2176 (2015) - [j14]Vahid Rafe, Ramin Hosseinpouri:
A security framework for developing service-oriented software architectures. Secur. Commun. Networks 8(17): 2957-2972 (2015) - [j13]Vahid Rafe, Mitra Golparian, Siamak Rasoolzadeh:
Using graph transformation systems to formalize Tropos diagrams. J. Vis. Lang. Comput. 30: 1-16 (2015) - 2014
- [j12]Rosa Yousefian, Vahid Rafe, Mohsen Rahmani:
A heuristic solution for model checking graph transformation systems. Appl. Soft Comput. 24: 169-180 (2014) - [j11]Vahid Rafe, Masoumeh Hajvali:
A Reliable Architectural Style for Designing Pervasive Healthcare Systems. J. Medical Syst. 38(9): 86 (2014) - 2013
- [j10]Mahdi Rahimi Naddaf, Vahid Rafe:
Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations. Comput. Informatics 32(4): 797-826 (2013) - [j9]Vahid Rafe, Masoumeh Hajvali:
Designing an Architectural Style for Pervasive Healthcare Systems. J. Medical Syst. 37(2): 9927 (2013) - [j8]Vahid Rafe:
Scenario-driven analysis of systems specified through graph transformations. J. Vis. Lang. Comput. 24(2): 136-145 (2013) - 2012
- [j7]Vahid Rafe, Maryam Monfaredzadeh:
A Qualitative Framework to Assess Hospital / Medical Websites. J. Medical Syst. 36(5): 2927-2939 (2012) - [j6]Vahid Rafe, Saeed Doostali:
ASM2Bogor: An approach for verification of models specified through Asmeta language. J. Vis. Lang. Comput. 23(5): 287-298 (2012) - 2011
- [j5]Vahid Rafe, Amin Nikanjam, Mohammad Rezaei:
Galoan: a multi-agent approach to herd cows. Ann. Math. Artif. Intell. 61(4): 333-348 (2011) - [j4]Fatemeh Omrani, Ali Harounabadi, Vahid Rafe:
An Adaptive Method Based on High-Level Petri Nets for E-Learning. J. Softw. Eng. Appl. 4(10): 559-570 (2011) - [c11]Yahya Asadollahi, Vahid Rafe, Samaneh Asadollahi, Somayeh Assadollahi:
A formal framework to model and validate event-based software architecture. WCIT 2011: 961-966 - [c10]Vahid Rafe, Farzaneh Mahdian:
Style-based modeling and verification of fault tolerance service oriented architectures. WCIT 2011: 972-976 - 2010
- [j3]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): 679-694 (2010)
2000 – 2009
- 2009
- [j2]Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini:
Towards automated verification of layered graph transformation specifications. IET Softw. 3(4): 276-291 (2009) - [j1]Vahid Rafe, Adel Torkaman Rahmani:
A Novel Approach to Verify Graph Schema-Based Software Systems. Int. J. Softw. Eng. Knowl. Eng. 19(6): 857-870 (2009) - [c9]Hossein Momeni, Vahid Rafe, Mohsen Sharifi, Adel Torkaman Rahmani:
A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks. SEKE 2009: 609-612 - [c8]Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani:
Towards Automated Software Verification Using Model Checking Techniques. TASE 2009: 305-306 - [c7]Farzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani:
Modeling Fault Tolerant Services in Service-Oriented Architecture. TASE 2009: 319-320 - 2008
- [c6]Vahid Rafe, Adel Torkaman Rahmani:
A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows. CSICC 2008: 291-298 - [c5]Vahid Rafe, Adel Torkaman Rahmani:
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. ICTAC 2008: 305-318 - 2007
- [c4]Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini:
An Efficient Solution for Model Checking Graph Transformation Systems. GT-VC@CONCUR 2007: 3-21 - 2006
- [c3]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: 578-585 - 2005
- [c2]Hossein Momeni, T. Rahmani, Mohsen Sharifi, Vahid Rafe:
Providing Local ORB-Like Services to Collocated CORBA Components. CLUSTER 2005: 1-8 - 2004
- [c1]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: 1143-1154
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint