Publications for Ahmed Rezine
Co-author map based on ISI articles 2007-

Conference Articles

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


Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine
  Memorax: Fence Inference under the TSO Memory Model
  <em>The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013.</em>, 2013.


Parosh Aziz Abdulla, Frédéric Haziza, Lukas Holik, Bengt Jonsson and Ahmed Rezine
  An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
  <em>The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013.</em>, 2013.


A. Berzinji, L. Kaati and Ahmed Rezine
  Detecting key players in terrorist networks:  
  Proceedings - 2012 European Intelligence and Security Informatics Conference, EISIC 2012, 2012.


Ying Zhang, Ahmed Rezine, Petru Eles and Zebo Peng
  Automatic Test Program Generation for Out-of-Order Superscalar Processors
  <em>21st IEEE Asian Test Symposium (ATS12), Niigata, Japan, November 19-22, 2012.</em>, 2012.


Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine
  Counter-Example Guided Fence Insertion under TSO
  TACAS 2012, 2012.


Reports

Zeinab Ganjei, Ahmed Rezine, Petru Eles and Zebo Peng
  Abstracting and Counting Synchronizing Processes
  Technical reports in Computer and Information Science, , 2014.


  Fulltext PDF

Unmesh Bordoloi and Ahmed Rezine
  Software Model Checking for GPGPU Programs, Towards a Verification Tool
  2011.


  Fulltext PDF