Ricky Butler | NASA Langley Research CEnter (original) (raw)

Papers by Ricky Butler

Research paper thumbnail of Experimental Evaluation of a Planning Language Suitable for Formal Verification

Lecture Notes in Computer Science, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Stratway: A Modular Approach to Strategic Conflict Resolution

11th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Formal design and verification of a reliable computing platform for real-time control (phase 3 results)

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Provable transient recovery for frame-based, fault-tolerant computing systems

[1992] Proceedings Real-Time Systems Symposium, 2000

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The art of fault-tolerant system reliability modeling

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Formal Design and Verification of a Reliable Computing Platform For Real-Time Control - Phase 2 Results

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Formal Design and Verification of a Reliable Computing Platform For Real-Time Control

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Design Strategy for a Formally Verified Reliable Computing Platform

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Ensuring Fault Tolerance of Phase-Locked Clocks

Ieee Transactions on Computers, Aug 1, 1985

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards a Customizable PVS

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The Simplified Aircraft-Based Paired Approach With the ALAS Alerting Algorithm

Bookmarks Related papers MentionsView impact

Research paper thumbnail of An assessment of the real-time application capabilities of the SIFT computer system

ABSTRACT

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Formal Framework for the Analysis of Algorithms That Recover From Loss of Separation

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Preliminary Transient-Fault Experiment on the SIFT Computer System

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Primer on Architectural Level Fault Tolerance

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Validation of a Fault,Tolerant Clock Synchronization System

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Measurement of SIFT operating system overhead

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The PAWS and STEM reliability analysis programs

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The Fault Tree Compiler (FTC): Program and mathematics

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Semi-Markov Unreliability-Range Evaluator

ABSTRACT

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Experimental Evaluation of a Planning Language Suitable for Formal Verification

Lecture Notes in Computer Science, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Stratway: A Modular Approach to Strategic Conflict Resolution

11th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Formal design and verification of a reliable computing platform for real-time control (phase 3 results)

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Provable transient recovery for frame-based, fault-tolerant computing systems

[1992] Proceedings Real-Time Systems Symposium, 2000

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The art of fault-tolerant system reliability modeling

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Formal Design and Verification of a Reliable Computing Platform For Real-Time Control - Phase 2 Results

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Formal Design and Verification of a Reliable Computing Platform For Real-Time Control

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Design Strategy for a Formally Verified Reliable Computing Platform

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Ensuring Fault Tolerance of Phase-Locked Clocks

Ieee Transactions on Computers, Aug 1, 1985

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards a Customizable PVS

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The Simplified Aircraft-Based Paired Approach With the ALAS Alerting Algorithm

Bookmarks Related papers MentionsView impact

Research paper thumbnail of An assessment of the real-time application capabilities of the SIFT computer system

ABSTRACT

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Formal Framework for the Analysis of Algorithms That Recover From Loss of Separation

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Preliminary Transient-Fault Experiment on the SIFT Computer System

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A Primer on Architectural Level Fault Tolerance

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Validation of a Fault,Tolerant Clock Synchronization System

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Measurement of SIFT operating system overhead

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The PAWS and STEM reliability analysis programs

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The Fault Tree Compiler (FTC): Program and mathematics

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Semi-Markov Unreliability-Range Evaluator

ABSTRACT

Bookmarks Related papers MentionsView impact