| 2008 |
|---|
| 7 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Giorgio Delzanno,
Frédéric Haziza,
Ahmed Rezine:
Parameterized Tree Systems.
FORTE 2008: 69-83 |
| 6 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Giorgio Delzanno,
Ahmed Rezine:
Handling Parameterized Systems with Non-atomic Global Conditions.
VMCAI 2008: 22-36 |
| 2007 |
|---|
| 5 | EE | Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine:
Parameterized Verification of Infinite-State Processes with Global Conditions.
CAV 2007: 145-157 |
| 4 | EE | 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 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
Mayank Saksena:
Proving Liveness by Backwards Reachability.
CONCUR 2006: 95-109 |
| 2 | EE | 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 | EE | Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
Ahmed Rezine:
Simulation-Based Iteration of Tree Transducers.
TACAS 2005: 30-44 |
