Stebėti
Einollah Pira
Einollah Pira
Associate Professor of Computer Engineering, Azarbaijan Shahid Madani University
Patvirtintas el. paštas azaruniv.ac.ir
Pavadinimas
Cituota
Cituota
Metai
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
472017
City councils evolution: a socio-inspired metaheuristic optimization algorithm
E Pira
Journal of Ambient Intelligence and Humanized Computing 14 (9), 12207-12256, 2022
412022
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
412016
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
262019
A novel approach to solve AI planning problems in graph transformations
E Pira
Engineering Applications of Artificial Intelligence 92, 103684, 2020
232020
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
232018
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
212021
Using Knowledge Discovery to Propose a Two- Phase Model Checking for Safety Analysis of Graph Transformations
E Pira
Software Quality Journal, 2021
202021
Using deep learning techniques for solving AI planning problems specified through graph transformations
E Pira
Soft Computing 26 (22), 12217-12234, 2022
162022
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
132019
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 80 (9), 12813-12843, 2024
82024
A three-phase approach to improve the functionality of t-way strategy
E Pira, V Rafe, S Esfandyari
Soft Computing, 2023
62023
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
52022
Verification of confliction and unreachability in rule-based expert systems with model checking
UINRB EXPERT
42014
Combinatorial t-way test suite generation using an improved asexual reproduction optimization algorithm
E Pira, M Khodizadeh-Nahari
Applied Soft Computing 150, 111070, 2024
32024
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
22024
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
12022
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 54 (3), 269-279, 2024
2024
Society Deciling Process: A Socio-inspired Meta-heuristic Algorithm
E Pira, A Rouhi
Journal of Electrical and Computer Engineering Innovations (JECEI) 12 (2 …, 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) 12 (2 …, 2024
2024
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20