| 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 | 170 | 2017 |
| 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 | 61 | 2018 |
| A qualitative framework to assess hospital/medical websites V Rafe, M Monfaredzadeh Journal of medical systems 36, 2927-2939, 2012 | 60 | 2012 |
| 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 | 60 | 2008 |
| A heuristic solution for model checking graph transformation systems R Yousefian, V Rafe, M Rahmani Applied Soft Computing 24, 169-180, 2014 | 59 | 2014 |
| Performance improvement for recommender systems using ontology K Bagherifard, M Rahmani, M Nilashi, V Rafe Telematics and Informatics 34 (8), 1772-1792, 2017 | 52 | 2017 |
| 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 | 48 | 2004 |
| Scenario-driven analysis of systems specified through graph transformations V Rafe Journal of Visual Languages & Computing 24 (2), 136-145, 2013 | 47 | 2013 |
| 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 | 44 | 2015 |
| 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 | 43 | 2017 |
| 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 | 43 | 2006 |
| 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 | 38 | 2016 |
| 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 | 33 | 2016 |
| 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 | 32 | 2015 |
| Towards automated verification of layered graph transformation specifications V Rafe, AT Rahmani, L Baresi, P Spoletini IET software 3 (4), 276-291, 2009 | 31 | 2009 |
| Educational advisor system implemented by web-based fuzzy expert systems MH Goodarzi, V Rafe Scientific Research Publishing, 2012 | 29 | 2012 |
| 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 | 25 | 2016 |
| Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation E Pira, V Rafe, A Nikanjam Reliability Engineering & System Safety 191, 106577, 2019 | 23 | 2019 |
| 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 | 23 | 2018 |
| An approach based on knowledge exploration for state space management in checking reachability of complex software systems J Partabian, V Rafe, H Parvin, S Nejatian Soft Computing 24 (10), 7181-7196, 2020 | 22 | 2020 |