Login / Signup
Faranak Nejati
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 4
Top Topics
Artificial Bee Colony
Graph Transformation
Optimization Algorithm
State Space
Top Venues
IEEE Access
CoRR
</>
Publications
</>
Faranak Nejati
,
Nor Asilah Wati Abdul Hamid
,
Sina Zangbari Koohi
,
Zahra Rahmani Zadeh
An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems.
IEEE Access
11 (2023)
Faranak Nejati
,
Abdul Azim Abdul Ghani
,
Keng-Yap Ng
,
Azmi Bin Jafaar
Handling State Space Explosion in Component-Based Software Verification: A Review.
IEEE Access
9 (2021)
Faranak Nejati
,
Abdul Azim Abdul Ghani
,
Keng-Yap Ng
,
Azmi Bin Jafaar
PUTRACOM: A Concurrent Component Model With Exogenous Connectors.
IEEE Access
6 (2018)
Faranak Nejati
,
Abdul Azim Abdul Ghani
,
Keng-Yap Ng
,
Azmi Jaafar
Handling state space explosion in verification of component-based systems: A review.
CoRR
(2017)