Ricky W. Butler

According to our database, Ricky W. Butler authored at least 13 papers between 1985 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

Software Validation via Model Animation.

Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler

Proceedings of the Tests and Proofs - 9th International Conference, 2015

2010

How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.

Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Formalization of the Integral Calculus in the PVS Theorem Prover.

Ricky W. Butler

J. Formaliz. Reason., 2009

2008

Experimental Evaluation of a Planning Language Suitable for Formal Verification.

Radu Siminiceanu, Ricky W. Butler, César A. Muñoz

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2003

Formal verification of conflict detection algorithms.

César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler

Int. J. Softw. Tools Technol. Transf., 2003

Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery.

Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César A. Muñoz

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

2002

Formal Methods at NASA Langley.

Ricky W. Butler

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

1996

An Invitation to Formal Methods.

Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave

Computer, 1996

1993

The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software.

Ricky W. Butler, George B. Finelli

IEEE Trans. Software Eng., 1993

1992

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

Ben L. Di Vito, Ricky W. Butler

Proceedings of the Real-Time Systems Symposium, 1992

1991

The infeasibility of experimental quantification of life-critical software reliability.

Ricky W. Butler, George B. Finelli

Proceedings of the conference on Software for citical systems, 1991

1990

Fault-Tolerant Clock Synchronization in Distributed Systems.

Parameswaran Ramanathan, Kang G. Shin, Ricky W. Butler

Computer, 1990

1985

Ensuring Fault Tolerance of Phase-Locked Clocks.

C. Mani Krishna, Kang G. Shin, Ricky W. Butler

IEEE Trans. Computers, 1985