Concepedia

Ricky W. Butler

RW

34

Publications

1.6K

Citations

20

H-Index

1985

Active since

Affiliations

Langley Research Center(Current)

ViGYAN (United States)

Ricky W. Butler is an author at Langley Research Center specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationComputer EngineeringReliability EngineeringReliabilitySoftware Analysis

Publications per year

1985–2020

34

Publications

34

The infeasibility of quantifying the reliability of life-critical real-time software

Ricky W. Butler, George B. Finelli · IEEE Transactions on Software Engineering · 1993 · 396 citations · Full text

Software Maintenance, Life-critical Software, Software Reliability Testing +28

Fault-tolerant clock synchronization in distributed systems

Parameswaran Ramanathan, Kang G. Shin, Ricky W. Butler · Computer · 1990 · 176 citations · Full text

The infeasibility of experimental quantification of life-critical software reliability

Ricky W. Butler, George B. Finelli · ACM SIGSOFT Software Engineering Notes · 1991 · 135 citations

Software Maintenance, Software Reliability Testing, Engineering +18

An Invitation to Formal Methods

Jonathan P. Bowen, Ricky W. Butler, David L. Dill et al. · Computer · 1996 · 133 citations

Software Maintenance, Engineering, Verification +19

A formal methods approach to the analysis of mode confusion

Ricky W. Butler, Steven P. Miller, James Potts et al. · 2002 · 80 citations

Engineering, Verification, Safety Science +20

Rows per page

1–5 of 34