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

Search Results

AUTHOR:YUNYUN ZHU
Found 2 entries
  1. 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

  2. Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory
    Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriramanx, Yunyun Zhu
    Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)