Abstract is missing.
- Formal modeling of BPEL workflows including fault and compensation handlingMáté Kovács, Dániel Varró, László Gönczy. 1 [doi]
- Towards fault tolerance in web services compositionsNuno Laranjeiro, Marco Vieira. 2 [doi]
- Diagnosis service for embedded software component based systemsThi Quynh Bui, Oum-El-Kheir Aktouf. 3 [doi]
- On engineering standards based carrier grade platformsFrancis Tam. 4 [doi]
- Experimenting with diversity in the model driven development of a railway signaling systemMichele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi. 5 [doi]
- Fault-tolerant digital systems implemented with partially definite and partially correct automataNataliya Yakymets, Vyacheslav S. Kharchenko. 6 [doi]
- Fault and adversary tolerance as an emergent property of distributed systems software architecturesYuriy Brun, Nenad Medvidovic. 7 [doi]
- Scheduling of embedded time-triggered systemsAndrás Balogh, András Pataricza, Judit Rácz. 8 [doi]
- Evaluating fault-tolerant system designs using FAUmachineS. Potyra, Volkmar Sieh, Mario Dal Cin. 9 [doi]
- Refinement patterns for rapid development of dependable systemsAlexei Iliasov. 10 [doi]