Zeinab Ganjei

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Parameterized Verification of Synchronized Concurrent Programs.
PhD thesis, 2021

2020
Verifying Safety of Parameterized Heard-Of Algorithms.
Proceedings of the Networked Systems - 8th International Conference, 2020

2019
On Reachability in Parameterized Phaser Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2017
Safety verification of phaser programs.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016
Counting dynamically synchronizing processes.
Int. J. Softw. Tools Technol. Transf., 2016

Lazy Constrained Monotonic Abstraction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Abstracting and Counting Synchronizing Processes.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Verification of Cache Coherence Protocols wrt. Trace Filters.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

2012
AS5: A Secure Searchable Secret Sharing Scheme for Privacy Preserving Database Outsourcing.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012


  Loading...