IEEE 1394 (FireWire) Workshop

International Workshop on Application of Formal Methods to IEEE 1394 Standard

Co-located with FME 2001 in Berlin, Germany
13th March 2001

The workshop was held as a satelite event of FME'01 in Berlin. The following papers were presented:
Specification and Design of the Leader Election Protocol of IEEE 1394
J.R. Abrial, D. Cansell, and D. Mery
Download postscript for this abstract.
Using SPIN to Analyse the FireWire Protocol - a Case Study
M. Calder and A. Miller
Download postscript for this abstract.
But what if I don't want to wait forever?
C. Fidge and C. Shankland
Download postscript for this abstract.
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
M. Kwiatkowska, G Norman, J. Sproston
Download postscript for this abstract.
False loop detection in the IEEE 1394 Tree Identify Phase
J. Romijn
Download postscript for this abstract.
Net Update for IEEE P1394.1 Bus Bridges
J. Romijn
Download pdf for this abstract.
A Simple Verification of the Tree Identify Protocol with SMV
V. Schuppan and A. Biere
Download pdf for this abstract.
Fun with FireWire: Experiences with Verifying the IEEE 1394 Root Contention Protocol
M. Stoelinga
See the abstract.
Specification and Verification of the Leader Election Protocol of IEEE 1394 in Rewriting Logic
A. Verdejo, I. Pita, and N. Marti-Oliet
Download postscript for this abstract.
The workshop proceedings was published by the University of Stirling as "IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard. S. Maharaj, J. Romijn, C. Shankland (editors), ISBN 1 85769 1539".


Back to Call for Papers.


Last revision: 24th September 2001.