Göm menyn

Publications for Ahmed Rezine


Co-author map based on Web of Sciences articles 2007-

Publications mentioned in social media 1 times*

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, 18(5), 517-534.
   Fulltext  PDF  
 Web of Science® Times Cited: 1

Giorgio Delzanno and Ahmed Rezine
  A lightweight regular model checking approach for parameterized systems
  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.


 Web of Science® Times Cited: 3

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.


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.


 Web of Science® Times Cited: 1

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
  Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, 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, 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.


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: 5

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: 12

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.

 



Responsible for this page: Peter Berkesand
Last updated: 2017-02-21