1. Preface

   • Tiziana Margaria
   • Mieke Massink

   Editorial 20 October 2009 Pages: 355 - 357

2. Checking the reliability of socket based communication software

   • Pedro de la Cámara
   • María del Mar Gallardo
   • David Sanán

   Regular Paper 24 March 2009 Pages: 359 - 374

3. Solving scheduling problems by untimed model checking

   • Anton J. Wijs
   • Jaco C. van de Pol
   • Elena M. Bortnik

   Regular Paper 19 March 2009 Pages: 375 - 392

4. LearnLib: a framework for extrapolating behavioral models

   • Harald Raffelt
   • Bernhard Steffen
   • Tiziana Margaria

   Regular Paper 10 April 2009 Pages: 393 - 407

5. Flush: an example of development by refinements in SCADE/Lustre

   • Jan Mikáč
   • Paul Caspi

   Regular Paper 24 March 2009 Pages: 409 - 418