Zeinab Ganjei

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 9

Top Topics

Formal Verification

Control Structures

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Verifying Safety of Parameterized Heard-Of Algorithms. NETYS (2020)
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
On Reachability in Parameterized Phaser Programs. TACAS (1) (2019)
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
On Reachability in Parameterized Phaser Programs. CoRR (2018)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Safety verification of phaser programs. FMCAD (2017)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Safety Verification of Phaser Programs. CoRR (2017)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Counting dynamically synchronizing processes. Int. J. Softw. Tools Technol. Transf. 18 (5) (2016)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Lazy Constrained Monotonic Abstraction. VMCAI (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu
Verification of Cache Coherence Protocols wrt. Trace Filters. FMCAD (2015)
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Abstracting and Counting Synchronizing Processes. VMCAI (2015)
Mohammad Ali Hadavi, Ernesto Damiani, Rasool Jalili, Stelvio Cimato, Zeinab Ganjei
AS5: A Secure Searchable Secret Sharing Scheme for Privacy Preserving Database Outsourcing. DPM/SETOP (2012)