Julien d'Orso

Publication Activity (10 Years)

Years Active: 2002-2012
Publications (10 Years): 0

Top Topics

Automated Verification

Linear Time Temporal Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
Regular model checking for LTL(MSO). Int. J. Softw. Tools Technol. Transf. 14 (2) (2012)
Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso
Monotonic and Downward Closed Games. J. Log. Comput. 18 (1) (2008)
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
Tree regular model checking: A simulation-based approach. J. Log. Algebraic Methods Program. 69 (1-2) (2006)
Julien d'Orso, Tayssir Touili
Regular Hedge Model Checking. IFIP TCS (2006)
Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
Simulation-Based Iteration of Tree Transducers. TACAS (2005)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
Regular Model Checking for LTL(MSO). CAV (2004)
Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso
Deciding Monotonic Games. CSL (2003)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
Algorithmic Improvements in Regular Model Checking. CAV (2003)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
Regular Model Checking Made Simple and Efficient. CONCUR (2002)
Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso
Regular Tree Model Checking. CAV (2002)