Travelled to:1 × Austria
1 × Denmark
1 × United Kingdom
2 × USA
Collaborated with:P.A.Abdulla B.Jonsson M.Nilsson A.Bouajjani A.Legay A.Rezine P.Mahata M.Saksena
Talks about:regular (3) model (3) check (3) tree (2) algorithm (1) transduc (1) monoton (1) improv (1) simul (1) decid (1)
Person: Julien d'Orso
DBLP: d'Orso:Julien
Contributed to:
2005
20042003
20032002Wrote 5 papers:
- TACAS-2005-AbdullaLdR #transducer
- Simulation-Based Iteration of Tree Transducers (PAA, AL, Jd, AR), pp. 30–44.
- CAV-2004-AbdullaJNdS #ltl #model checking
- Regular Model Checking for LTL(MSO) (PAA, BJ, MN, Jd, MS), pp. 348–360.
- CAV-2003-AbdullaJNd #algorithm #model checking
- Algorithmic Improvements in Regular Model Checking (PAA, BJ, MN, Jd), pp. 236–248.
- CSL-2003-AbdullaBd #game studies
- Deciding Monotonic Games (PAA, AB, Jd), pp. 1–14.
- CAV-2002-AbdullaJMd #model checking
- Regular Tree Model Checking (PAA, BJ, PM, Jd), pp. 555–568.