نام و نام خانوادگی وحید رافع شغل عضو هیئت علمی سایر دانشگاه‌های کشور تحصیلات دکترای تخصصی / کامپیوتر (نرم افزار ) وبسایت مشاهده پست الکترونیک v-rafe [at] araku [dot] ac [dot] ir مقاله چاپشده مقاله ارائهشده کتاب پایان نامه های تقاضا محور و غیر تقاضا محور طرح پژوهشی خاتمهیافته افتخارات و جوایز استانی، کشوری و بینالمللی ابداع عنوانمجله 1 Checking Reachability Property in Complex Concurrent Software Systems with a Knowledge Discovery Approach Journal of Soft Computing and Information Technology (JSCIT) 2 Using data mining techniques to generate test cases from graph transformation systems specifications Automated Software Engineering 3 A comprehensive review of the security flaws of hashing algorithms Journal of Computer Virology and Hacking Techniques 4 A three-phase approach to improve the functionality of t-way strategy Soft computing 5 Automatic program bug fixing by focusing on finding the shortest sequence of changes Artificial Intelligence Review 6 Automatic bug localization using a combination of deep learning and model transformation through node classification Software Quality Journal 7 تولید آرایه پوشش کمینه با استفاده از الگوریتم تکامل تفاضلی تطبیقی مبتنی بر تاریخچه موفقیت و کاهش خطی اندازه جمعیت مهندسي برق دانشگاه تبريز 8 BBAC: Behavior-based access control to detect user suspicious behavior journal of intelligent and fuzzy systems 9 Using deep reinforcement learning to search reachability properties in systems specified through graph transformation SOFT COMPUT 10 Using Bayesian optimization algorithm for model-based integration testing SOFT COMPUT 11 Secured Access Control in Security Information and Event Management Systems Journal of Information Systems and Telecommunication 12 GALP: a hybrid artificial intelligence algorithm for generating covering array Applied Soft Computing 13 Using memetic algorithm for robustness testing of contract‑based software models Artificial Intelligence Review 14 استفاده از الگوریتم تودۀ ذرات بهینه در تولید دنبالۀ آزمون کمینه در آرایۀ پوشش با قوۀ ثابت نشريه محاسبات نرم 15 An efficient approach to state space management in model checking of complex software systems using machine learning techniques journal of intelligent and fuzzy systems 16 Using search‑based techniques for testing executable software models specified through graph transformations International Journal of Machine Learning and Cybernetics 17 A new metaheuristic approach based on agent systems principles computational science 18 Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation reliability engineering and system safety 19 Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms Applied Soft Computing 20 An approach based on knowledge exploration for state space management in checking reachability of complex software systems SOFT COMPUT 21 استفاده از الگوریتم تودۀ ذرات بهینه در تولید دنبالۀ آزمون کمینه در آرایۀ پوشش با قوۀ ثابت نشريه محاسبات نرم 22 مطالعه مروری بر تولید نمونهآزمون کمینه در آزمون تعاملی پژوهش در علوم رايانه 23 MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation SOFT COMPUT 24 Model-based test suite generation for graph transformation system using model simulation and search-based techniques information and software technology 25 تولید مورد آزمون مبتنی بر مدل از توصیفات تبدیل گراف با استفاده از الگوریتم جستجوی پرتو مهندسي برق دانشگاه تبريز 26 Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation RELIAB ENG SYST SAFE 27 Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations information and software technology 28 A Recommendation Method Based on Semantic Similarity and Complementarity Using Weighted Taxonomy: A Case on Construction Materials Dataset Journal of Information & Knowledge Management 29 آزمون مبتنی بر ترکیبات؛ آرایه پوشش؛ الگوریتم بهینه سازی مبتنی بر آموزش و یادگیری مهندسي برق دانشگاه تبريز 30 Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm System and Software 31 A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy information and software technology 32 A recommender system for tourism industry using cluster ensemble and prediction machine learning techniques computers and industrial engineering 33 Performance improvement for recommender systems using ontology Telematics and Informatics 34 A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems journal of intelligent and fuzzy systems 35 EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles Applied Soft Computing 36 راهکاری نوین جهت تولید دنباله آزمون کمینه در فرایند آزمون نرم افزار با ترکیب الگوریتمهای جستجوی تپه نوردی و جستجوی خفاش مهندسي برق دانشگاه تبريز 37 An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm quality and reliability Engineering International 38 Security analysis of network protocols through model checking: a case study on mobile IPv6 SECURITY AND COMMUNICATION NETWORKS 39 A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain journal of intelligent and fuzzy systems 40 ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستمهای تبدیل گراف با استفاده از الگوریتم پرندگان و جستجوی گرانشی مهندسي برق دانشگاه تبريز 41 A FRAMEWORK TO PERFORMANCE ANALYSIS OF SOFTWARE ARCHITECTURAL STYLES International Journal in Foundations of Computer Science and Technology 42 A Formal Approach to Secure Design of the Insulin Pump Behavior Journal of Medical Imaging and Health Informatics 43 Breast Cancer Prediction by Using C5.0 Algorithm and BOOSTING Method Journal of Medical Imaging and Health Informatics 44 A Reliable Architectural Style for Designing Pervasive Healthcare Systems Journal of Medical Systems 45 A heuristic solution for model checking graph transformation systems Applied Soft Computing 46 A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations Applied Soft Computing 47 Considering Reliability in Designing Pervasive Healthcare System Journal of Medical Imaging and Health Informatics 48 A hybrid heuristic workflow scheduling algorithm for cloud computing environments Journal Of Experimental & Theoretical Artificial Intelligence 49 A security framework for developing service-oriented software architectures security and communication networks 50 Using graph transformation system to formalize Tropos diagrams Journal of Visual Languages & Computing 51 An Efficient Approach to Breast Cancer Prediction Based on Neural Network, Adaboost and Gaussian Process Journal of Medical Imaging and Health Informatics 52 Performance Measurement of Models Specified Through Component-based Software Architectural Styles Measurement 53 A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS International Journal of Software Engineering and Knowledge Engineering 54 Towards automated software model checking using graph transformation systems and Bogor Journal of Zhejiang University - Science A 55 Towards automated verification of layered graph transformation specifications Institution of Engineering and Technology 56 Style-based modeling and verification of fault tolerance service oriented architectures Procedia Computer Science 57 A formal framework to model and validate event-based software architecture Procedia Computer Science 58 FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS International Journal of Software Engineering and Knowledge Engineering 59 Optimal Real-Time Task Allocation in Wireless Sensor Actor Networks Australian Journal of Basic and Applied Sciences 60 From Class Diagrams to Relational Tables: A Graph Transformation-based Approach Electrical Review 61 A Qualitative Framework to Assess Hospital / Medical Websites J Med Syst 62 Galoan: a multi-agent approach to herd cows Annals of Mathematics and Artificial Intelligence 63 Formal Analysis of Service-oriented Architectures Przeglad Elektrotchniczny 64 An Adaptive Method Based on High-Level Petri Nets for E-Learning Journal of Software Engineering and Applications 65 A Survey on Data Mining Approaches in Medicine International Research Journal of Applied & Basic Sciences 66 Educational Advisor System Implemented by Web-Based Fuzzy Expert Systems Journal of Software Engineering and Applications 67 A Novel approach to solve traveling salesman problem inspired by Eurygasters movement International Research Journal of Applied & Basic Sciences 68 Designing an architectural style for pervasive healthcare systems. Journal of Medical Systems 69 ASM2Bogor: An approach for verification of models specified through Asmeta language Journal of Visual Languages & Computing 70 A NOVEL WEB-BASED HUMAN ADVISOR FUZZY EXPERT SYSTEM Journal of Applied Research and Technology 71 Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations COMPUTING AND INFORMATICS 72 A Survey on Coping with the State Space Explosion Problem in Model Checking International Research Journal of Applied & Basic Sciences 73 Scenario-driven analysis of systems specified through graph transformations Journal of Visual Languages & Computing