Volume 4, Issue 4, August 2003

ISSN: 1433-2779 (Print) 1433-2787 (Online)

In this issue (9 articles)

  1. No Access

    The opinion corner

    Main issues in protocol testing

    Dieter Hogrefe Pages 397-400
  2. No Access

    Special section on ASTEC: an experience in the establishment of collaboration between academia and industry

    Preface by the section editors

    Bengt Jonsson, Konstantinos Sagonas Pages 401-404
  3. No Access

    Special section: An experience in the establishment of collaboration between academia and industry

    A verification tool for ERLANG

    Lars–Åke Fredlund, Dilian Gurov, Thomas Noll Pages 405-420
  4. No Access

    Special section: An experience in the establishment of collaboration between academia and industry

    The development of the HiPE system: design and experience report

    Erik Johansson, Mikael Pettersson Pages 421-436
  5. No Access

    Special section: An experience in the establishment of collaboration between academia and industry

    Worst-case execution-time analysis for embedded real-time systems

    Jakob Engblom, Andreas Ermedahl Pages 437-455
  6. No Access

    Special section: An experience in the establishment of collaboration between academia and industry

    Generating online test oracles from temporal logic specifications

    John Håkansson, Bengt Jonsson, Ola Lundqvist Pages 456-471
  7. No Access

    Regular contribution

    Security by typing

    Mourad Debbabi, Nancy Durgin, Mohamed Mejri Pages 472-495