Einollah Pira

17 papers Journal 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
A new metaheuristic optimization algorithm based on the participation of smart students to increase the class performance.
Soft Comput.
Einollah Pira, Alireza Rouhi
2025 J jnl
An Innovative Heuristic to Detect Special States in Concurrent Software Systems.
Qual. Reliab. Eng. Int.
Einollah Pira, Alireza Rouhi
2024 J jnl
A three-phase approach to improve the functionality of t-way strategy.
Soft Comput.
Einollah Pira, Vahid Rafe, Sajad Esfandyari
2024 J jnl
An improved gazelle optimization algorithm using dynamic opposition-based learning and chaotic mapping combination for solving optimization problems.
J. Supercomput.
Atiyeh Abdollahpour, Alireza Rouhi, Einollah Pira
2024 J jnl
Combinatorial t-way test suite generation using an improved asexual reproduction optimization algorithm.
Appl. Soft Comput.
Einollah Pira, Mohammad Khodizadeh Nahari
2023 J jnl
City councils evolution: a socio-inspired metaheuristic optimization algorithm.
J. Ambient Intell. Humaniz. Comput.
Einollah Pira
2022 J jnl
Using deep learning techniques for solving AI planning problems specified through graph transformations.
Soft Comput.
Einollah Pira
2022 J jnl
Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations.
Softw. Qual. J.
Einollah Pira
2021 J jnl
Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation.
J. Comput. Sci. Technol.
Einollah Pira
2020 J jnl
A novel approach to solve AI planning problems in graph transformations.
Eng. Appl. Artif. Intell.
Einollah Pira
2019 J jnl
MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation.
Soft Comput.
Vahid Rafe, Mahsa Darghayedi, Einollah Pira
2019 J jnl
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation.
Reliab. Eng. Syst. Saf.
Einollah Pira, Vahid Rafe, Amin Nikanjam
2018 J jnl
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations.
Inf. Softw. Technol.
Einollah Pira, Vahid Rafe, Amin Nikanjam
2017 J jnl
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm.
J. Syst. Softw.
Einollah Pira, Vahid Rafe, Amin Nikanjam
2016 J jnl
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles.
Appl. Soft Comput.
Einollah Pira, Vahid Rafe, Amin Nikanjam
2014 J jnl
Verification of confliction and unreachability in rule-based expert systems with model checking.
CoRR
Einollah Pira, Mohammad Reza Zand Miralvand, Fakhteh Soltani
2012 J jnl
An Optimal Algorithm for Conflict-Free Coloring for Tree of Rings
CoRR
Einollah Pira