Wednesday 14th May

The Impact Failure Detector
Anubis G. M. Rossetto, Claudio F. R. Geyer (Federal University of Rio Grande do Sul, Brazil), Luciana Arantes, Pierre Sens (INRIA, France)

Faster Transaction Commit even when Nodes Crash
Ryan Emerson, Paul Ezhilchelvan (Newcastle University, UK)

A Formal Approach to System Integration Testing
Susanne Kandl, Martin Elshuber (Vienna University of Technology, Austria)

On Formalisms for Dynamic Reconfiguration of Dependable Systems
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce (Newcastle University, UK), Manuel Mazzara (Politecnico di Milano, Italy)

An Approach to Maintaining Safety Case Evidence after a System Change
Omar Jaradat, Patrick Graydon (Malardalen Univ., Sweden), Iain Bate (University of York, UK)

Questions or comments about the Fast Abstracts should be directed to the Fast Abstracts Chair: Peter Puschner, Vienna University of Technology, peter@vmars.tuwien.ac.at