Ricky W. Butler

Publication Activity (10 Years)

Years Active: 1985-2015
Publications (10 Years): 0

Top Topics

Bayesian Networks

Model Validation

Objective Function

Multi Agent Systems

Top Venues

Publications

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