Julien d'Orso

According to our database, Julien d'Orso authored at least 10 papers between 2002 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Regular model checking for LTL(MSO).

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena

Int. J. Softw. Tools Technol. Transf., 2012

2008

Monotonic and Downward Closed Games.

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso

J. Log. Comput., 2008

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

Regular Hedge Model Checking.

Julien d'Orso, Tayssir Touili

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

2005

Simulation-Based Iteration of Tree Transducers.

Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2003

New Directions in Symbolic Model Checking.

Julien d'Orso

PhD thesis, 2003

Deciding Monotonic Games.

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Algorithmic Improvements in Regular Model Checking.

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Regular Model Checking Made Simple and Efficient.

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso

Proceedings of the CONCUR 2002, 2002

Regular Tree Model Checking.

Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso

Proceedings of the Computer Aided Verification, 14th International Conference, 2002