Zeinab Ganjei

According to our database, Zeinab Ganjei authored at least 9 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Parameterized Verification of Synchronized Concurrent Programs.

Zeinab Ganjei

PhD thesis, 2021

2020

Verifying Safety of Parameterized Heard-Of Algorithms.

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

Proceedings of the Networked Systems - 8th International Conference, 2020

2019

On Reachability in Parameterized Phaser Programs.

Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2017

Safety verification of phaser programs.

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Counting dynamically synchronizing processes.

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

Int. J. Softw. Tools Technol. Transf., 2016

Lazy Constrained Monotonic Abstraction.

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Abstracting and Counting Synchronizing Processes.

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Verification of Cache Coherence Protocols wrt. Trace Filters.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2012

AS5: A Secure Searchable Secret Sharing Scheme for Privacy Preserving Database Outsourcing.

Mohammad Ali Hadavi, Ernesto Damiani, Rasool Jalili, Stelvio Cimato, Zeinab Ganjei

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012