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

Publications mentioned in social media 1 times*

Keywords

verification variables system symbolic subword representation relations reachability programs monotonic model memory finite fence correctness concurrent automatically automatic arbitrary abstraction

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>Verification, Model Checking, and Abstract Interpretation</em>: <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
  LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2014), 2014.


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.


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.


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.


 Web of Science® Times Cited: 2

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.