AS5: A Secure Searchable Secret Sharing Scheme for Privacy Preserving Database Outsourcing. - Mohammad Ali Hadavi; Ernesto Damiani; Rasool Jalili; Stelvio Cimato; Zeinab Ganjei (DPM/SETOP, 2012)

Verification of Cache Coherence Protocols wrt. Trace Filters. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Zeinab Ganjei; Ahmed Rezine; Yunyun Zhu (FMCAD, 2015)

Abstracting and Counting Synchronizing Processes. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (VMCAI, 2015)

Lazy Constrained Monotonic Abstraction. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (VMCAI, 2016)

Counting dynamically synchronizing processes. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (Int. J. Softw. Tools Technol. Transf., 2016)

Safety verification of phaser programs. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (FMCAD, 2017)

On Reachability in Parameterized Phaser Programs. - Zeinab Ganjei; Ahmed Rezine; Ludovic Henrio; Petru Eles; Zebo Peng (TACAS (1), 2019)

Verifying Safety of Parameterized Heard-Of Algorithms. - Zeinab Ganjei; Ahmed Rezine; Petru Eles; Zebo Peng (NETYS, 2020)

Parameterized Verification of Synchronized Concurrent Programs. - Zeinab Ganjei (2021)