Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. - Najla Chamseddine; Marie Duflot; Laurent Fribourg; Claudine Picaronny; Jeremy Sproston (QEST, 2008)

Analyse quantitative paramétrée d'automates temporisés probabilistes. (Quantitave and parametric analysis of probabilistic timed automata). - Najla Chamseddine (2009)