Einollah Pira

According to our database, Einollah Pira authored at least 14 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A three-phase approach to improve the functionality of t-way strategy.

Einollah Pira, Vahid Rafe, Sajad Esfandyari

Soft Comput., January, 2024

Combinatorial t-way test suite generation using an improved asexual reproduction optimization algorithm.

Einollah Pira, Mohammad Khodizadeh-Nahari

Appl. Soft Comput., January, 2024

2023

City councils evolution: a socio-inspired metaheuristic optimization algorithm.

Einollah Pira

J. Ambient Intell. Humaniz. Comput., 2023

2022

Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations.

Einollah Pira

Softw. Qual. J., 2022

Using deep learning techniques for solving AI planning problems specified through graph transformations.

Einollah Pira

Soft Comput., 2022

2021

Using Markov Chain Based Estimation of Distribution Algorithm for Model-Based Safety Analysis of Graph Transformation.

Einollah Pira

J. Comput. Sci. Technol., 2021

2020

A novel approach to solve AI planning problems in graph transformations.

Einollah Pira

Eng. Appl. Artif. Intell., 2020

2019

MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation.

Vahid Rafe, Mahsa Darghayedi, Einollah Pira

Soft Comput., 2019

Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation.

Einollah Pira, Vahid Rafe, Amin Nikanjam

Reliab. Eng. Syst. Saf., 2019

2018

Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations.

Einollah Pira, Vahid Rafe, Amin Nikanjam

Inf. Softw. Technol., 2018

2017

Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm.

Einollah Pira, Vahid Rafe, Amin Nikanjam

J. Syst. Softw., 2017

2016

EMCDM: Efficient model checking by data mining for verification of complex software systems specified through architectural styles.

Einollah Pira, Vahid Rafe, Amin Nikanjam

Appl. Soft Comput., 2016

2014

Verification of confliction and unreachability in rule-based expert systems with model checking.

Einollah Pira, Mohammad Reza Zand Miralvand, Fakhteh Soltani

CoRR, 2014

2012

An Optimal Algorithm for Conflict-Free Coloring for Tree of Rings

Einollah Pira

CoRR, 2012