| 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 | 37 | 2017 |
| 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 | 33 | 2016 |
| City councils evolution: a socio-inspired metaheuristic optimization algorithm E Pira Journal of Ambient Intelligence and Humanized Computing 14 (9), 12207-12256, 2022 | 25 | 2022 |
| 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 | 24 | 2018 |
| 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 | 18 | 2019 |
| A novel approach to solve AI planning problems in graph transformations E Pira Engineering Applications of Artificial Intelligence 92, 103684, 2020 | 14 | 2020 |
| Using Markov Chain based Estimation of Distribution Algorithm for Model-based Safety Analysis of Graph Transformation E Pira Journal of Computer Science and Technology, 1, 2021 | 12 | 2021 |
| Using Knowledge Discovery to Propose a Two- Phase Model Checking for Safety Analysis of Graph Transformations E Pira Software Quality Journal, 2021 | 11 | 2021 |
| MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation V Rafe, M Darghayedi, E Pira Soft Computing 23, 4531-4556, 2019 | 9 | 2019 |
| Using deep learning techniques for solving AI planning problems specified through graph transformations E Pira Soft Computing 26 (22), 12217-12234, 2022 | 8 | 2022 |
| Verification of confliction and unreachability in rule-based expert systems with model checking E Pira, MZ Reza, M Soltani, F Soltani International Journal of Artificial Intelligence & Applications 5 (2), 21, 2014 | 4 | 2014 |
| Minimum Covering Array Generation Using Success-History and Linear Population Size Reduction based Adaptive Differential Evolution Algorithm E Pira, V Rafe, S Esfandyari Tabriz Journal of Electrical Engineering (TJEE) 52 (2), 77-89, 2022 | 2 | 2022 |
| A Surrogate Model-based Aquila Optimizer for Solving High-dimensional Computationally Expensive Problems A Rouhi, E Pira Journal of Computing and Security 11 (1), 1-18, 2024 | 1 | 2024 |
| A three-phase approach to improve the functionality of t-way strategy E Pira, V Rafe, S Esfandyari Soft Computing, 2023 | 1 | 2023 |
| A New Heuristic for Deadlock Detection in Safety Analysis of Software Systems E Pira IRANIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING (IJECE) 1, 73-79, 2022 | 1 | 2022 |
| Automated Generation of Covering Array Using Gravitational Search Algorithm and Biogeography Based Optimization S Esfandyari, V Rafe, E Pira | | 2024 |
| An improved gazelle optimization algorithm using dynamic opposition-based learning and chaotic mapping combination for solving optimization problems A Abdollahpour, A Rouhi, E Pira The Journal of Supercomputing, 1-31, 2024 | | 2024 |
| WHOFWA: An effective hybrid metaheuristic algorithm based on wild horse optimizer and fireworks algorithm A Rouhi, E Pira Journal of Electrical and Computer Engineering Innovations (JECEI), 2024 | | 2024 |
| Combinatorial t-way test suite generation using an improved asexual reproduction optimization algorithm E Pira, M Khodizadeh-Nahari Applied Soft Computing 150, 111070, 2024 | | 2024 |
| optimal production of the test suite by the combinatorial testing method by applying changes in the gravitational search algorithm for the uniform strength cover array. S Esfandyari, L Yousofvand, E Pira, V Rafe TABRIZ JOURNAL OF ELECTRICAL ENGINEERING, 2023 | | 2023 |
Vahid RafeLecturer, Goldsmiths, university of London. Associate Professor, Arak UniversityVerified email at araku.ac.ir
