| 2009 |
|---|
| 11 | EE | 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 | EE | 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 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Giorgio Delzanno,
Frédéric Haziza,
Ahmed Rezine:
Parameterized Tree Systems.
FORTE 2008: 69-83 |
| 8 | EE | Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine:
Monotonic Abstraction in Action.
ICTAC 2008: 50-65 |
| 7 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Giorgio Delzanno,
Ahmed Rezine:
Handling Parameterized Systems with Non-atomic Global Conditions.
VMCAI 2008: 22-36 |
| 6 | EE | Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine:
Monotonic Abstraction in Parameterized Verification.
Electr. Notes Theor. Comput. Sci. 223: 3-14 (2008) |
| 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 |
