Publications for Ahmed Rezine

Publications for Ahmed RezineCo-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

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


  Fulltext PDF