Ricky W. Butler

Formal Techniques for Synchronized Fault-Tolerant Systems

Ben L. Di Vito, Ricky W. Butler, 1992 .

The Fault Tree Compiler (FTC): Program and mathematics

Anna L. Martensen, Ricky W. Butler, A. L. Martensen, 1989 .

Measurement of SIFT operating system overhead

D. L. Palumbo, Ricky W. Butler, 1985 .

Provable transient recovery for frame-based, fault-tolerant computing systems

Ben L. Di Vito, Ricky W. Butler, 1992, [1992] Proceedings Real-Time Systems Symposium.

The PAWS and STEM reliability analysis programs

Ricky W. Butler, Philip H. Stevenson, 1988 .

Estimating the distribution of fault latency in a digital processor

Ricky W. Butler, Erik L. Ellis, 1987 .

Design for validation, based on formal methods

Ricky W. Butler, 1990 .