- Verifying Safety of Parameterized Heard-Of Algorithms
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Networked Systems. NETYS 2020
- On Reachability in Parameterized Phaser Programs
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019
- Safety Verification of Phaser Programs
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Formal Methods in Computer-Aided Design, 2-6 October, 2017, TU Wien, Vienna, Austria
- Counting Dynamically Synchronizing Processes
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
International Journal on Software Tools for Technology Transfer
- Lazy Constrained Monotonic Abstraction
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Verification, Model Checking, and Abstract Interpretation (VMCAI) ,Florida, USA, 17-19 Jan. 2016
- Verification of Cache Coherence Protocols wrt. Trace Filters
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine and Yunyun Zhu
Formal Methods in Computer-Aided Design (FMCAD) 2015
- Abstracting and Counting Synchronizing Processes
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Technical reports in Computer and Information Science, ISSN 1654-7233, 2014.
- Abstracting and Counting Synchronizing Processes
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), Mumbai, India, Jan. 12-14, 2015.
|
|
