A formally verified algorithm for clock synchronization under a hybrid fault model
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
New Hybrid Fault Models for Asynchronous Approximate Agreement
IEEE Transactions on Computers
The load and availability of Byzantine quorum systems
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
The security of static typing with dynamic linking
Proceedings of the 4th ACM conference on Computer and communications security
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
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters
IEEE Transactions on Dependable and Secure Computing
Hi-index | 0.01 |