Follow
Zeinab Ganjei
Title
Cited by
Cited by
Year
AS5: A secure searchable secret sharing scheme for privacy preserving database outsourcing
MA Hadavi, E Damiani, R Jalili, S Cimato, Z Ganjei
Data Privacy Management and Autonomous Spontaneous Security: 7th …, 2013
372013
Abstracting and counting synchronizing processes
Z Ganjei, A Rezine, P Eles, Z Peng
Verification, Model Checking, and Abstract Interpretation: 16th …, 2015
132015
Verification of cache coherence protocols wrt. trace filters
PA Abdulla, MF Atig, Z Ganjeiy, A Reziney, Y Zhu
2015 Formal Methods in Computer-Aided Design (FMCAD), 9-16, 2015
72015
Counting dynamically synchronizing processes
Z Ganjei, A Rezine, P Eles, Z Peng
International Journal on Software Tools for Technology Transfer 18, 517-534, 2016
62016
Safety verification of phaser programs
Z Ganjei, A Rezine, P Eles, Z Peng
2017 Formal Methods in Computer Aided Design (FMCAD), 68-75, 2017
42017
Lazy constrained monotonic abstraction
Z Ganjei, A Rezine, P Eles, Z Peng
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
42016
On reachability in parameterized phaser programs
Z Ganjei, A Rezine, L Henrio, P Eles, Z Peng
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
22019
Verifying safety of parameterized heard-of algorithms
Z Ganjei, A Rezine, P Eles, Z Peng
Networked Systems: 8th International Conference, NETYS 2020, Marrakech …, 2021
12021
Parameterized Verification of Synchronized Concurrent Programs
Z Ganjei
Linköping University Electronic Press, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9