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

Publications mentioned in social media 1 times*

Journal Articles

Giorgio Delzanno and Ahmed Rezine
  A lightweight regular model checking approach for parameterized systems
 
Altmetric usage: 1

  International Journal on Software Tools for Technology Transfer (STTT), 2012, 14(2), 207-222.

Conference Articles

Zeinab Ganjei, Ahmed Rezine, Petru Ion Eles and Zebo Peng
  Abstracting and Counting Synchronizing Processes
  <em>16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), Mumbai, India, Jan. 12-14, 2015.</em>, 2015.


Pierre Ganty and Ahmed Rezine
  Ordered Counter Abstraction: Refinable Subword Relations for Parameterized Verification
  <em>Language and Automata Theory and Applications</em>, 2014.


Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Rümmer and Jari Stenman
  String Constraints for Verification
  <em>26th International Conference on Computer Aided Verification (CAV 2014), Vienna, Austria, Jul. 9-12, 2014.</em>, 2014.


Pierre Ganty and Ahmed Rezine
  Ordered Counter-Abstraction Refinable Subword Relations for Parameterized Verification
  LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014.


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.


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, 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.


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.


 Web of Science® Times Cited: 1

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine
  Automatic fence insertion in integer programs via predicate abstraction
  Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings, 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

* Social media data based on publications from 2011 to present and with a DOI; data delivered by Altmetric.com.