Ahmed Rezine

	2009
13		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE 2009: 41-56
12		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Automatic Verification of Directory-Based Consistency Protocols. RP 2009: 36-50
11		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)
	2008
10		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
9		Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine: Parameterized Tree Systems. FORTE 2008: 69-83
8		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Monotonic Abstraction in Action. ICTAC 2008: 50-65
7		Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine: Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI 2008: 22-36
6		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Monotonic Abstraction in Parameterized Verification. Electr. Notes Theor. Comput. Sci. 223: 3-14 (2008)
	2007
5		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Parameterized Verification of Infinite-State Processes with Global Conditions. CAV 2007: 145-157
4		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
3		Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena: Proving Liveness by Backwards Reachability. CONCUR 2006: 95-109
2		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)
	2005
1		Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine: Simulation-Based Iteration of Tree Transducers. TACAS 2005: 30-44

Coauthor Index

1	Parosh Aziz Abdulla	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
2	Ahmed Bouajjani	[10]
3	Jonathan Cederberg	[10]
4	Giorgio Delzanno	[4] [5] [6] [7] [8] [9] [11] [12] [13]
5	Frédéric Haziza	[9] [10]
6	Noomene Ben Henda	[4] [7] [9]
7	Bengt Jonsson	[3]
8	Axel Legay	[1] [2]
9	Mayank Saksena	[3]
10	Julien d'Orso	[1] [2]