EFTS 2007: Dubrovnik, Croatia

Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (Eds.): Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. ACM 2007, ISBN 978-1-59593-725-4

Máté Kovács, Dániel Varró, László Gönczy:
Formal modeling of BPEL workflows including fault and compensation handling. 1
Nuno Laranjeiro, Marco Vieira:
Towards fault tolerance in web services compositions. 2
Thi Quynh Bui, Oum-El-Kheir Aktouf:
Diagnosis service for embedded software component based systems. 3
Francis Tam:
On engineering standards based carrier grade platforms. 4
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Experimenting with diversity in the model driven development of a railway signaling system. 5
Nataliya Yakymets, Vyacheslav S. Kharchenko:
Fault-tolerant digital systems implemented with partially definite and partially correct automata. 6
Yuriy Brun, Nenad Medvidovic:
Fault and adversary tolerance as an emergent property of distributed systems' software architectures. 7
András Balogh, András Pataricza, Judit Rácz:
Scheduling of embedded time-triggered systems. 8
S. Potyra, Volkmar Sieh, Mario Dal Cin:
Evaluating fault-tolerant system designs using FAUmachine. 9
Alexei Iliasov:
Refinement patterns for rapid development of dependable systems. 10