Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:ZEINAB GANJEI
Found 6 entries
  1. 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
  2. Counting Dynamically Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    International Journal on Software Tools for Technology Transfer
  3. 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
  4. 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
  5. Abstracting and Counting Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Technical reports in Computer and Information Science, ISSN 1654-7233, 2014.
  6. 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.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)