Regular Tree Model Checking. - Parosh Aziz Abdulla; Bengt Jonsson 001; Pritha Mahata; Julien d'Orso (CAV, 2002)

Regular Model Checking Made Simple and Efficient. - Parosh Aziz Abdulla; Bengt Jonsson 001; Marcus Nilsson; Julien d'Orso (CONCUR, 2002)

Algorithmic Improvements in Regular Model Checking. - Parosh Aziz Abdulla; Bengt Jonsson 001; Marcus Nilsson; Julien d'Orso (CAV, 2003)

Deciding Monotonic Games. - Parosh Aziz Abdulla; Ahmed Bouajjani; Julien d'Orso (CSL, 2003)

New Directions in Symbolic Model Checking. - Julien d'Orso (2003)

Simulation-Based Iteration of Tree Transducers. - Parosh Aziz Abdulla; Axel Legay; Julien d'Orso; Ahmed Rezine (TACAS, 2005)

Regular Hedge Model Checking. - Julien d'Orso; Tayssir Touili (IFIP TCS, 2006)

Tree regular model checking: A simulation-based approach. - Parosh Aziz Abdulla; Axel Legay; Julien d'Orso; Ahmed Rezine (J. Log. Algebraic Methods Program., 2006)

Monotonic and Downward Closed Games. - Parosh Aziz Abdulla; Ahmed Bouajjani; Julien d'Orso (J. Log. Comput., 2008)

Regular model checking for LTL(MSO). - Parosh Aziz Abdulla; Bengt Jonsson 001; Marcus Nilsson; Julien d'Orso; Mayank Saksena (Int. J. Softw. Tools Technol. Transf., 2012)