1. Verification of real-time systems with preemption: negative and positive results

   • Frédéric Boniol
   • Jérôme Ermont
   • Claire Pagetti

   Reviews 28 June 2009 Pages: 163 - 179

2. Using formal methods to increase confidence in a home network system implementation: a case study

   • Lydie du Bousquet
   • Masahide Nakamura
   • Hiroshi Igaki

   Original Paper 20 June 2009 Pages: 181 - 196

3. An efficient response-time analysis for real-time transactions with fixed priority assignment

   • Ahmed Rahni
   • Emmanuel Grolleau
   • Michaël Richard

   Original Paper 23 June 2009 Pages: 197 - 209

4. Tool-supported enhancement of diagnosis in model-driven verification

   • Marco Bakera
   • Tiziana Margaria
   • Bernhard Steffen

   Original Paper 28 July 2009 Pages: 211 - 228

5. Introduction to special issue: papers from UML&FM

   • Jean-Michel Bruel
   • Agusti Canals
   • Isabelle Perseil

   Erratum 10 December 2008 Pages: 229 - 229