Julien d'Orso

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Regular model checking for LTL(MSO).
Int. J. Softw. Tools Technol. Transf., 2012

2008
Monotonic and Downward Closed Games.
J. Log. Comput., 2008

2006
Tree regular model checking: A simulation-based approach.
J. Log. Algebraic Methods Program., 2006

Regular Hedge Model Checking.
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

2005
Simulation-Based Iteration of Tree Transducers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2003
New Directions in Symbolic Model Checking.
PhD thesis, 2003

Deciding Monotonic Games.
Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Algorithmic Improvements in Regular Model Checking.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Regular Model Checking Made Simple and Efficient.
Proceedings of the CONCUR 2002, 2002

Regular Tree Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002


  Loading...