Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By ACM Press

9781595937254

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Diagnosis service for embedded software component based systems

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316553 ◽

2007 ◽

Author(s):

Thi Quynh Bui ◽

Oum-El-Kheir Aktouf

Keyword(s):

Embedded Software ◽

Software Component

Download Full-text

Refinement patterns for rapid development of dependable systems

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316560 ◽

2007 ◽

Author(s):

Alexei Iliasov

Keyword(s):

Rapid Development ◽

Dependable Systems

Download Full-text

Fault-tolerant digital systems implemented with partially definite and partially correct automata

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316556 ◽

2007 ◽

Author(s):

Nataliya Yakymets ◽

Vyacheslav Kharchenko

Keyword(s):

Fault Tolerant ◽

Digital Systems

Download Full-text

Evaluating fault-tolerant system designs using FAUmachine

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316559 ◽

2007 ◽

Author(s):

S. Potyra ◽

V. Sieh ◽

M. Dal Cin

Keyword(s):

Fault Tolerant ◽

Fault Tolerant System ◽

Download Full-text

Formal modeling of BPEL workflows including fault and compensation handling

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316551 ◽

2007 ◽

Author(s):

Máté Kovács ◽

Dániel Varró ◽

László Gönczy

Keyword(s):

Formal Modeling

Download Full-text

Experimenting with diversity in the model driven development of a railway signaling system

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316555 ◽

2007 ◽

Author(s):

Michele Banci ◽

Alessandro Fantechi ◽

Stefania Gnesi ◽

Giovanni Lombardi

Keyword(s):

Signaling System ◽

Model Driven Development ◽

Download Full-text

Scheduling of embedded time-triggered systems

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316558 ◽

2007 ◽

Author(s):

András Balogh ◽

András Pataricza ◽

Judit Rácz

Download Full-text

On engineering standards based carrier grade platforms

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316554 ◽

2007 ◽

Author(s):

Francis Tam

Keyword(s):

Engineering Standards

Download Full-text

Fault and adversary tolerance as an emergent property of distributed systems' software architectures

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316557 ◽

2007 ◽

Author(s):

Yuriy Brun ◽

Nenad Medvidovic

Keyword(s):

Distributed Systems ◽

Emergent Property ◽

Software Architectures ◽

Systems Software

Download Full-text

Towards fault tolerance in web services compositions

Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 ◽

10.1145/1316550.1316552 ◽

2007 ◽

Author(s):

Nuno Laranjeiro ◽

Marco Vieira

Keyword(s):

Fault Tolerance ◽

Download Full-text