- Verifying Safety of Parameterized Heard-Of Algorithms
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Networked Systems. NETYS 2020
- Software-based Self-Testing using Bounded Model Checking for Out-of-Order Superscalar Processors
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
IEEE Design & Test
- On Reachability in Parameterized Phaser Programs
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019
- Software-based Self-Testing using Bounded Model Checking for Out-of-Order Superscalar Processors
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Stability-Aware Integrated Routing and Scheduling for Control Applications in Ethernet Networks
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng
Design, Automation and Test in Europe (DATE) 2018
- 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
- 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
- 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
- Counting Dynamically Synchronizing Processes
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
International Journal on Software Tools for Technology Transfer
- 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
- 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
- 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.
- Abstracting and Counting Synchronizing Processes
Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Technical reports in Computer and Information Science, ISSN 1654-7233, 2014.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
|
|
