Einollah Pira

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 13

Top Topics

Planning Problems

Software Systems

Graph Transformation

Top Venues

Appl. Soft Comput.

Inf. Softw. Technol.

Publications

Einollah Pira, Mohammad Khodizadeh-Nahari
Combinatorial t-way test suite generation using an improved asexual reproduction optimization algorithm. Appl. Soft Comput. 150 (2024)
Atiyeh Abdollahpour, Alireza Rouhi, Einollah Pira
An improved gazelle optimization algorithm using dynamic opposition-based learning and chaotic mapping combination for solving optimization problems. J. Supercomput. 80 (9) (2024)
Einollah Pira, Vahid Rafe, Sajad Esfandyari
A three-phase approach to improve the functionality of t-way strategy. Soft Comput. 28 (1) (2024)
Einollah Pira
City councils evolution: a socio-inspired metaheuristic optimization algorithm. J. Ambient Intell. Humaniz. Comput. 14 (9) (2023)
Einollah Pira
Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations. Softw. Qual. J. 30 (1) (2022)
Einollah Pira
Using deep learning techniques for solving AI planning problems specified through graph transformations. Soft Comput. 26 (22) (2022)
Einollah Pira
Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation. J. Comput. Sci. Technol. 36 (4) (2021)
Einollah Pira
A novel approach to solve AI planning problems in graph transformations. Eng. Appl. Artif. Intell. 92 (2020)
Vahid Rafe, Mahsa Darghayedi, Einollah Pira
MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation. Soft Comput. 23 (12) (2019)
Einollah Pira, Vahid Rafe, Amin Nikanjam
Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation. Reliab. Eng. Syst. Saf. 191 (2019)
Einollah Pira, Vahid Rafe, Amin Nikanjam
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations. Inf. Softw. Technol. 97 (2018)
Einollah Pira, Vahid Rafe, Amin Nikanjam
Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm. J. Syst. Softw. 131 (2017)
Einollah Pira, Vahid Rafe, Amin Nikanjam
EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles. Appl. Soft Comput. 49 (2016)
Einollah Pira, Mohammad Reza Zand Miralvand, Fakhteh Soltani
Verification of confliction and unreachability in rule-based expert systems with model checking. CoRR (2014)
Einollah Pira
An Optimal Algorithm for Conflict-Free Coloring for Tree of Rings CoRR (2012)