1. Cones and foci: A mechanical framework for protocol verification

   • Wan Fokkink
   • Jun Pang
   • Jaco van de Pol

   OriginalPaper 09 June 2006 Pages: 1 - 31

   

2. Performance analysis of probabilistic timed automata using digital clocks

   • Marta Kwiatkowska
   • Gethin Norman
   • Jeremy Sproston

   OriginalPaper 07 June 2006 Pages: 33 - 78

   

3. Some ways to reduce the space dimension in polyhedra computations

   • N. Halbwachs
   • D. Merchat
   • L. Gonnord

   OriginalPaper 01 July 2006 Pages: 79 - 95

   

4. On using priced timed automata to achieve optimal scheduling

   • J. I. Rasmussen
   • K. G. Larsen
   • K. Subramani

   OriginalPaper 01 July 2006 Pages: 97 - 114