Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Proving "no cliques" in a protocol
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Economic Online Self-Test in the Time-Triggered Architecture
IEEE Design & Test
Early-Delivery Dynamic Atomic Broadcast
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
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
Parametric Verification of a Group Membership Algorithm
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
Proof-Guided Testing: An Experimental Study
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Parametric Verification of a Group Membership Algorithm
Theory and Practice of Logic Programming
| Hi-index | 0.01 |