Follow
Vahid Rafe
Vahid Rafe
Lecturer, Goldsmiths, university of London. Associate Professor, Arak University
Verified email at araku.ac.ir
Title
Cited by
Cited by
Year
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
1712017
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
602008
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
592018
A qualitative framework to assess hospital/medical websites
V Rafe, M Monfaredzadeh
Journal of medical systems 36, 2927-2939, 2012
582012
A heuristic solution for model checking graph transformation systems
R Yousefian, V Rafe, M Rahmani
Applied Soft Computing 24, 169-180, 2014
542014
Performance improvement for recommender systems using ontology
K Bagherifard, M Rahmani, M Nilashi, V Rafe
Telematics and Informatics 34 (8), 1772-1792, 2017
482017
CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support
M Sharifi, AT Rahmani, V Rafe, H Momeni
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE …, 2004
482004
An MDA-based modeling and design of service oriented architecture
AT Rahmani, V Rafe, S Sedighian, A Abbaspour
Computational Science–ICCS 2006: 6th International Conference, Reading, UK …, 2006
432006
Scenario-driven analysis of systems specified through graph transformations
V Rafe
Journal of Visual Languages & Computing 24 (2), 136-145, 2013
422013
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
382015
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm
E Pira, V Rafe, A Nikanjam
Journal of Systems and Software 131, 181-200, 2017
372017
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles
E Pira, V Rafe, A Nikanjam
Applied Soft Computing 49, 1185-1201, 2016
332016
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
322015
Towards automated verification of layered graph transformation specifications
V Rafe, AT Rahmani, L Baresi, P Spoletini
IET software 3 (4), 276-291, 2009
312009
A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems
R Yousefian, S Aboutorabi, V Rafe
Journal of Intelligent & Fuzzy Systems 31 (1), 137-149, 2016
282016
Educational advisor system implemented by web-based fuzzy expert systems
MH Goodarzi, V Rafe
Scientific Research Publishing, 2012
262012
An optimal solution for test case generation using ROBDD graph and PSO algorithm
A Kalaee, V Rafe
Quality and Reliability Engineering International 32 (7), 2263-2279, 2016
252016
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
E Pira, V Rafe, A Nikanjam
Information and Software Technology 97, 110-134, 2018
242018
Designing an architectural style for pervasive healthcare systems
V Rafe, M Hajvali
Journal of medical systems 37, 1-13, 2013
222013
Formal analysis of workflows using UML 2.0 activities and graph transformation systems
V Rafe, AT Rahmani
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
222008
The system can't perform the operation now. Try again later.
Articles 1–20