2008 |
9 | EE | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Julien d'Orso:
Monotonic and Downward Closed Games.
J. Log. Comput. 18(1): 153-169 (2008) |
2006 |
8 | EE | Julien d'Orso,
Tayssir Touili:
Regular Hedge Model Checking.
IFIP TCS 2006: 213-230 |
7 | 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 |
6 | EE | Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
Ahmed Rezine:
Simulation-Based Iteration of Tree Transducers.
TACAS 2005: 30-44 |
2004 |
5 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso,
Mayank Saksena:
Regular Model Checking for LTL(MSO).
CAV 2004: 348-360 |
2003 |
4 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso:
Algorithmic Improvements in Regular Model Checking.
CAV 2003: 236-248 |
3 | EE | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Julien d'Orso:
Deciding Monotonic Games.
CSL 2003: 1-14 |
2002 |
2 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Pritha Mahata,
Julien d'Orso:
Regular Tree Model Checking.
CAV 2002: 555-568 |
1 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso:
Regular Model Checking Made Simple and Efficient.
CONCUR 2002: 116-130 |