Zeinab Ganjei

Zeinab Ganjei

Linköping University - Linköping / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 5210937
Linköpings universitet
person_outline Zeinab Ganjei's MOST POPULAR ARTICLES
1-) AS5: A secure searchable secret sharing scheme for privacy preserving database outsourcingMA Hadavi, E Damiani, R Jalili, S Cimato, Z GanjeiData Privacy Management and Autonomous Spontaneous Security: 7th …, 2013372013
2-) Abstracting and counting synchronizing processesZ Ganjei, A Rezine, P Eles, Z PengVerification, Model Checking, and Abstract Interpretation: 16th …, 2015132015
3-) Verification of cache coherence protocols wrt. trace filtersPA Abdulla, MF Atig, Z Ganjeiy, A Reziney, Y Zhu2015 Formal Methods in Computer-Aided Design (FMCAD), 9-16, 201572015
4-) Counting dynamically synchronizing processesZ Ganjei, A Rezine, P Eles, Z PengInternational Journal on Software Tools for Technology Transfer 18, 517-534, 201662016
5-) Safety verification of phaser programsZ Ganjei, A Rezine, P Eles, Z Peng2017 Formal Methods in Computer Aided Design (FMCAD), 68-75, 201742017