A Unified Fault-Tolerance Protocol-Reference-Cited by-同舟云学术

A Unified Fault-Tolerance Protocol

Published:2004 Issue: Volume: Page:167-182
ISSN:0302-9743
Container-title:Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
language:
Short-container-title:

Author:

Miner Paul,Geser Alfons,Pike Lee,Maddalon Jeffrey

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30206-3_13

Reference19 articles.

1. Azadmanesh, M.H., Kieckhaferm, R.M.: Exploiting omissive faults in synchronous approximate agreement. IEEE Transactions on Computers 49(10), 1031–1042 (2000)

2. Lecture Notes in Computer Science;P. Caspi,2000

3. Davies, D., Wakerly, J.F.: Synchronization and matching in redundant systems. IEEE Transactions on Computers 27(6), 531–539 (1978)

4. Geser, A., Miner, P.S.: A new on-line diagnosis protocol for the SPIDER family of Byzantine fault tolerant architectures. Technical Memorandum NASA/TM-2003-212432, NASA Langley Research Center, Hampton, VA (December 2003) (in print)

5. Hoyme, K., Driscoll, K.: SAFEbus TM . In: 11th AIAA/IEEE Digital Avionics Systems Conference, Seattle, WA, October 1992, pp. 68–73 (1992)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Language for Unified Verification and Implementation for Distributed Avionics;Journal of Aerospace Information Systems;2018-11

2. Verification of Fault-Tolerant Protocols with Sally;Lecture Notes in Computer Science;2018

3. Achieving Agreement In Three Rounds With Bounded-Byzantine Faults;AIAA Information Systems-AIAA Infotech @ Aerospace;2017-01-05

4. Mechanized Support for Assurance Case Argumentation;New Frontiers in Artificial Intelligence;2014

5. A Synthesized Algorithm for Interactive Consistency;Lecture Notes in Computer Science;2014