Synchronizing clocks in the presence of faults
Journal of the ACM (JACM)
Reaching approximate agreement in the presence of faults
Journal of the ACM (JACM)
Distributed agreement in the presence of processor and communication faults
IEEE Transactions on Software Engineering
The MAFT Architecture for Distributed Fault Tolerance
IEEE Transactions on Computers - Fault-Tolerant Computing
A new fault-tolerant algorithm for clock synchronization
Information and Computation
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Consensus With Dual Failure Modes
IEEE Transactions on Parallel and Distributed Systems
Formal Verification of Algorithms for Critical Systems
IEEE Transactions on Software Engineering
A Continuum of Failure Models for Distributed Computing
WDAG '92 Proceedings of the 6th International Workshop on Distributed Algorithms
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Understanding Protocols for Byzantine Clock Synchronization
Understanding Protocols for Byzantine Clock Synchronization
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
Verifying the Interactive Convergence Clock Synchronization algorithm Using the Boyer-Moore Theorem Prover
Verification of Fault-Tolerant Clock Synchronization Systems
Verification of Fault-Tolerant Clock Synchronization Systems
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Report Dagstuhl Seminar on Time Services SchloßDagstuhl, March 11. – March 15. 1996
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part III
Verification of Real-Time Systems using Linear Relation Analysis
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Formally Verified On-Line Diagnosis
IEEE Transactions on Software Engineering
Formal Methods Technology Transfer: A View from NASA
Formal Methods in System Design - Special issue: industrial critical systems
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Exploiting Omissive Faults in Synchronous Approximate Agreement
IEEE Transactions on Computers
Bus Architectures for Safety-Critical Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
How to Model Link Failures: A Perception-Based Fault Model
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Reconfiguration and transient recovery in state machine architectures
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
Distributed Diagnosis in Dynamic Fault Environments
IEEE Transactions on Parallel and Distributed Systems
Towards the Formal Verification of Lower System Layers in Automotive Systems
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
Proceedings of the 13th ACM conference on Computer and communications security
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Synchronous consensus under hybrid process and link failures
Theoretical Computer Science
Analysis of a clock synchronization protocol for wireless sensor networks
Theoretical Computer Science
Towards the pervasive verification of automotive systems
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
| Hi-index | 0.01 |