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

Zeinab Ganjei, Ahmed Rezine, Petru Eles and Zebo Peng
  Counting dynamically synchronizing processes
  International Journal on Software Tools for Technology Transfer (STTT), 2016, , 1-18.

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 Eles and Zebo Peng
  Lazy Constrained Monotonic Abstraction
  Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, 2016.


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.


 Web of Science® Times Cited: 1

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukas Holik, Ahmed Rezine, Philipp Rummer and Jari Stenman
  Norn: An SMT Solver for String Constraints
  COMPUTER AIDED VERIFICATION, PT I, 2015.


Parosh Aziz Abdulla, Mohammed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine and Yunyun Zhu
  Verification of Cache Coherence Protocols wrt. Trace Filters
  Formal Methods in Computer-Aided Design (FMCAD), 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, 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.


Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine
  Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
  <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: 6

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.


 Web of Science® Times Cited: 4

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.