Ricky W. Butler

14 papers A 1Misc 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2015 — conf
Software Validation via Model Animation.
TAP@STAF
Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler
2010 — conf
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.
NASA Formal Methods
Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek
2009 J jnl
Formalization of the Integral Calculus in the PVS Theorem Prover.
J. Formaliz. Reason.
Ricky W. Butler
2008 — conf
Experimental Evaluation of a Planning Language Suitable for Formal Verification.
MoChArt
Radu Siminiceanu, Ricky W. Butler, César A. Muñoz
2003 J jnl
Formal verification of conflict detection algorithms.
Int. J. Softw. Tools Technol. Transf.
César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler
2003 Misc conf
Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery.
WSC
Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César A. Muñoz
2002 — conf
Formal Methods at NASA Langley.
TPHOLs
Ricky W. Butler
2001 — conf
Formal Verification of Conflict Detection Algorithms.
CHARME
Ricky W. Butler, Victor Carreño, Gilles Dowek, César A. Muñoz
1996 J jnl
An Invitation to Formal Methods.
Computer
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
1993 J jnl
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software.
IEEE Trans. Software Eng.
Ricky W. Butler, George B. Finelli
1992 A conf
Provable transient recovery for frame-based, fault-tolerant computing systems.
RTSS
Ben L. Di Vito, Ricky W. Butler
1991 — conf
The infeasibility of experimental quantification of life-critical software reliability.
SIGSOFT
Ricky W. Butler, George B. Finelli
1990 J jnl
Fault-Tolerant Clock Synchronization in Distributed Systems.
Computer
Parameswaran Ramanathan, Kang G. Shin, Ricky W. Butler
1985 J jnl
Ensuring Fault Tolerance of Phase-Locked Clocks.
IEEE Trans. Computers
C. Mani Krishna, Kang G. Shin, Ricky W. Butler