Preface by the section editors Bengt Jonsson Konstantinos Sagonas Special section on ASTEC: an experience in the establishment of collaboration between academia and industry 01 August 2003 Pages: 401 - 404
A verification tool for ERLANG Lars–Åke Fredlund Dilian Gurov Gennady Chugunov Special section: An experience in the establishment of collaboration between academia and industry 01 August 2003 Pages: 405 - 420
The development of the HiPE system: design and experience report Erik Johansson Mikael Pettersson Thomas Lindgren Special section: An experience in the establishment of collaboration between academia and industry 01 August 2003 Pages: 421 - 436
Worst-case execution-time analysis for embedded real-time systems Jakob Engblom Andreas Ermedahl Hans Hansson Special section: An experience in the establishment of collaboration between academia and industry 01 August 2003 Pages: 437 - 455
Generating online test oracles from temporal logic specifications John Håkansson Bengt Jonsson Ola Lundqvist Special section: An experience in the establishment of collaboration between academia and industry 01 August 2003 Pages: 456 - 471
Security by typing Mourad Debbabi Nancy Durgin John C. Mitchell Regular contribution 01 August 2003 Pages: 472 - 495
Scalable distributed on-the-fly symbolic model checking Shoham Ben-David Orna Grumberg Assaf Schuster Regular contribution 01 August 2003 Pages: 496 - 504
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking Yifei Dong Xiaoqun Du Scott A. Smolka Regular contribution 01 August 2003 Pages: 505 - 528