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

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

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

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

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

Safety Verification of Phaser Programs. - Ganjei, Zeinab; Rezine, Ahmed; Eles, Petru; Peng, Zebo (CoRR, 2017)

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

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

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

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

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