Faranak Nejati

According to our database, Faranak Nejati authored at least 4 papers between 2017 and 2023.

Collaborative distances:

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

2023

An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems.

Faranak Nejati, Nor Asilah Wati Abdul Hamid, Sina Zangbari Koohi, Zahra Rahmani Zadeh

IEEE Access, 2023

2021

Handling State Space Explosion in Component-Based Software Verification: A Review.

Faranak Nejati, Abdul Azim Abdul Ghani, Keng-Yap Ng, Azmi Bin Jafaar

IEEE Access, 2021

2018

PUTRACOM: A Concurrent Component Model With Exogenous Connectors.

Faranak Nejati, Abdul Azim Abdul Ghani, Keng-Yap Ng, Azmi Bin Jafaar

IEEE Access, 2018

2017

Handling state space explosion in verification of component-based systems: A review.

Faranak Nejati, Abdul Azim Abdul Ghani, Keng-Yap Ng, Azmi Jaafar

CoRR, 2017