Cones and foci: A mechanical framework for protocol verification Wan FokkinkJun PangJaco van de Pol OriginalPaper 09 June 2006 Pages: 1 - 31
Performance analysis of probabilistic timed automata using digital clocks Marta KwiatkowskaGethin NormanJeremy Sproston OriginalPaper 07 June 2006 Pages: 33 - 78
Some ways to reduce the space dimension in polyhedra computations N. HalbwachsD. MerchatL. Gonnord OriginalPaper 01 July 2006 Pages: 79 - 95
On using priced timed automata to achieve optimal scheduling J. I. RasmussenK. G. LarsenK. Subramani OriginalPaper 01 July 2006 Pages: 97 - 114