Publications for Ahmed Rezine
Co-author map based on ISI articles 2007-
Conference Articles
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 & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013.</em>, 2013.
|
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.
|
Reports
Ph.D., Lic. Theses
