Vahid Rafe
Vahid Rafe
Associate Professor, Department of Computer Engineering, Arak University
Verified email at araku.ac.ir
TitleCited byYear
An efficient solution for model checking graph transformation systems
L Baresi, V Rafe, AT Rahmani, P Spoletini
Electronic Notes in Theoretical Computer Science 213 (1), 3-21, 2008
482008
CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support
M Sharifi, AT Rahmani, V Rafe, H Momeni
OTM Confederated International Conferences" On the Move to Meaningful …, 2004
482004
A qualitative framework to assess hospital/medical websites
V Rafe, M Monfaredzadeh
Journal of medical systems 36 (5), 2927-2939, 2012
442012
An MDA-based modeling and design of service oriented architecture
AT Rahmani, V Rafe, S Sedighian, A Abbaspour
International Conference on Computational Science, 578-585, 2006
402006
A recommender system for tourism industry using cluster ensemble and prediction machine learning techniques
M Nilashi, K Bagherifard, M Rahmani, V Rafe
Computers & industrial engineering 109, 357-368, 2017
362017
Towards automated verification of layered graph transformation specifications
V Rafe, AT Rahmani, L Baresi, P Spoletini
IET software 3 (4), 276-291, 2009
292009
A heuristic solution for model checking graph transformation systems
R Yousefian, V Rafe, M Rahmani
Applied Soft Computing 24, 169-180, 2014
222014
Scenario-driven analysis of systems specified through graph transformations
V Rafe
Journal of Visual Languages & Computing 24 (2), 136-145, 2013
212013
Designing an architectural style for pervasive healthcare systems
V Rafe, M Hajvali
Journal of medical systems 37 (2), 9927, 2013
192013
A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations
V Rafe, M Moradi, R Yousefian, A Nikanjam
Applied Soft Computing 33, 136-149, 2015
162015
Considering faults in service-oriented architecture: A graph transformation-based approach
F Mahdian, V Rafe, R Rafeh, MRZ Miralvand
2009 International Conference on Computer Technology and Development 1, 179-183, 2009
162009
Formal analysis of workflows using UML 2.0 activities and graph transformation systems
V Rafe, AT Rahmani
International Colloquium on Theoretical Aspects of Computing, 305-318, 2008
152008
A hybrid heuristic workflow scheduling algorithm for cloud computing environments
S Mirzayi, V Rafe
Journal of experimental & theoretical artificial intelligence 27 (6), 721-735, 2015
142015
Educational advisor system implemented by web-based fuzzy expert systems
MH Goodarzi, V Rafe
Scientific Research Publishing, 2012
132012
Performance improvement for recommender systems using ontology
K Bagherifard, M Rahmani, M Nilashi, V Rafe
Telematics and Informatics 34 (8), 1772-1792, 2017
122017
A novel web-based human advisor fuzzy expert system
V Rafe, MH Goodarzi
Journal of applied research and technology 11 (1), 161-167, 2013
122013
A Novel Approach to verify graph Schema-Based software systems
V Rafe, AT Rahmani
International Journal of Software Engineering and Knowledge Engineering 19 …, 2009
122009
Modeling fault tolerant services in service-oriented architecture
F Mahdian, V Rafe, R Rafeh, AT Rahmani
2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009
122009
A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy
S Esfandyari, V Rafe
Information and Software Technology 94, 165-185, 2018
112018
A survey on coping with the state space explosion problem in model checking
V Rafe, M Rahmani, K Rashidi
International Research Journal of Applied and Basic Sciences 4 (6), 1379-1384, 2013
112013
The system can't perform the operation now. Try again later.
Articles 1–20