Najla Chamseddine

According to our database, Najla Chamseddine authored at least 2 papers between 2008 and 2009.

Collaborative distances:

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

2009

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

Najla Chamseddine

PhD thesis, 2009

2008

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.

Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008