Zeinab Ganjei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2012–2019
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | On Reachability in Parameterized Phaser Programs. | Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng |
| 2017 | FMCAD | Safety verification of phaser programs. | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2016 | VMCAI | Lazy Constrained Monotonic Abstraction. | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2015 | FMCAD | Verification of Cache Coherence Protocols wrt. Trace Filters. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu |
| 2015 | VMCAI | Abstracting and Counting Synchronizing Processes. | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
| 2012 | ESORICS | AS5: A Secure Searchable Secret Sharing Scheme for Privacy Preserving Database Outsourcing. | Mohammad Ali Hadavi, Ernesto Damiani, Rasool Jalili, Stelvio Cimato, Zeinab Ganjei |