EFTS

Keyphrases

Publications

2007

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