Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ahmed Rezine
2010 – today
- 2013
[c19]Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu: Verifying safety and liveness for the FlexTM hybrid transactional memory. DATE 2013: 785-790- [c18]Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine: An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. TACAS 2013: 324-338
- [c17]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine: Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. TACAS 2013: 530-536
- 2012
- [j6]Giorgio Delzanno, Ahmed Rezine: A lightweight regular model checking approach for parameterized systems. STTT 14(2): 207-222 (2012)
- [c16]Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng: Automatic Test Program Generation for Out-of-Order Superscalar Processors. Asian Test Symposium 2012: 338-343
- [c15]Ala Berzinji, Lisa Kaati, Ahmed Rezine: Detecting Key Players in Terrorist Networks. EISIC 2012: 297-302
- [c14]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine: Automatic Fence Insertion in Integer Programs via Predicate Abstraction. SAS 2012: 164-180
- [c13]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine: Counter-Example Guided Fence Insertion under TSO. TACAS 2012: 204-219
- [e2]Mohamed Faouzi Atig, Ahmed Rezine (Eds.): Proceedings 14th International Workshop on Verification of Infinite-State Systems. EPTCS 107, 2012
- [i1]
- 2011
- [j5]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. Int. J. Found. Comput. Sci. 22(4): 761-782 (2011)
- 2010
- [c12]Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu: Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV 2010: 72-88
- [c11]Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine: Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR 2010: 86-101
- [e1]Yu-Fang Chen, Ahmed Rezine (Eds.): Proceedings 12th International Workshop on Verification of Infinite-State Systems. EPTCS 39, 2010
2000 – 2009
- 2009
- [j4]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods in System Design 34(2): 126-156 (2009)
- [j3]Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine: Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Int. J. Found. Comput. Sci. 20(5): 779-801 (2009)
- [c10]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE 2009: 41-56
- [c9]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Automatic Verification of Directory-Based Consistency Protocols. RP 2009: 36-50
- 2008
- [j2]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Monotonic Abstraction in Parameterized Verification. Electr. Notes Theor. Comput. Sci. 223: 3-14 (2008)
- [c8]Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine: Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV 2008: 341-354
- [c7]Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine: Parameterized Tree Systems. FORTE 2008: 69-83
- [c6]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Monotonic Abstraction in Action. ICTAC 2008: 50-65
- [c5]Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine: Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI 2008: 22-36
- 2007
- [c4]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Parameterized Verification of Infinite-State Processes with Global Conditions. CAV 2007: 145-157
- [c3]Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine: Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS 2007: 721-736
- 2006
- [j1]Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Tree regular model checking: A simulation-based approach. J. Log. Algebr. Program. 69(1-2): 93-121 (2006)
- [c2]Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena: Proving Liveness by Backwards Reachability. CONCUR 2006: 95-109
- 2005
- [c1]Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:53 CEST by the dblp team