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)

PUTRACOM: A Concurrent Component Model With Exogenous Connectors. - Faranak Nejati; Abdul Azim Abdul Ghani; Keng-Yap Ng; Azmi Bin Jafaar (IEEE Access, 2018)

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)

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)

Combinations of generative adversarial network and reinforcement learning: A survey. - Kok-Lim Alvin Yau; Yung-Wey Chong; Xiumei Fan; Faranak Nejati; Mohammad Kazem Chamran; Shalini Darmaraju (Neurocomputing, 2025)