Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:AHMED REZINE
Found 17 entries
  1. Quantifying the Information Leak in Cache Attacks through Symbolic Execution
    Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller
    15th ACM-IEEE International Conference on Formal Methods and Models for System Designn, MEMCODE 17
  2. Flatten and conquer: a framework for efficient analysis of string constraints
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukas Holik, Ahmed Rezine, Philipp Rummer
    PLDI 2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
  3. Safety Verification of Phaser Programs
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Formal Methods in Computer-Aided Design, 2-6 October, 2017, TU Wien, Vienna, Austria
  4. Counting Dynamically Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    International Journal on Software Tools for Technology Transfer
  5. Lazy Constrained Monotonic Abstraction
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Verification, Model Checking, and Abstract Interpretation (VMCAI) ,Florida, USA, 17-19 Jan. 2016
  6. Verification of Cache Coherence Protocols wrt. Trace Filters
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine and Yunyun Zhu
    Formal Methods in Computer-Aided Design (FMCAD) 2015
  7. Automatic Fence Insertion in Integer Programs via Predicate Abstraction
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012.
  8. Abstracting and Counting Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Technical reports in Computer and Information Science, ISSN 1654-7233, 2014.
  9. String Constraints for Verification
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, LukᚠHolík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
    26th International Conference on Computer Aided Verification (CAV 2014), Vienna, Austria, Jul. 9-12, 2014.
  10. Abstracting and Counting Synchronizing Processes
    Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), Mumbai, India, Jan. 12-14, 2015.
  11. Ordered Counter Abstraction (Refinable Subword Relations for Parameterized Verification)
    Pierre Ganty, Ahmed Rezine
    8th International Conference on Language and Automata Theory and Applications (LATA 2014), Madrid, Spain, March 10-14, 2014.
  12. An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
    Parosh Aziz Abdulla, Frédéric Haziza, Lukas Holik, Bengt Jonsson, Ahmed Rezine
    The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013.
  13. Memorax: Fence Inference under the TSO Memory Model
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
    The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013.
  14. Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory
    Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriramanx, Yunyun Zhu
    Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.
  15. Software Model Checking for GPGPU Programs, Towards a Verification Tool
    Unmesh D. Bordoloi, Ahmed Rezine
    Technical reports in Computer and Information Science, ISSN 1654-7233, 2011.
  16. Automatic Test Program Generation for Out-of-Order Superscalar Processors
    Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng
    21st IEEE Asian Test Symposium (ATS 2012), Niigata, Japan, November 19-22, 2012.
  17. Counter-Example Guided Fence Insertion under TSO
    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
    18th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn, Estonia, March 24 - April 1, 2012.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)