NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Publications for All Years (496 out of 496)

Vector-Clock Based Partial Order Reduction for JPF
Neha Rungta, Eric Noonan, Eric Mercer
Published at: Conference: The Java PathFinder Workshop; Palo Alto CA
Date: 11/12/13
Invariant Discovery Guided By Symbolic Execution
Neha Rungta, Suzette Person
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Towards a Lazier Symbolic Pathfinder
Neha Rungta, Suzette Person, Butler Hine, Eric Mercer
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Detecting and Characterizing Semantic Inconsistencies in Ported Code
Neha Rungta, Suzette Person, Baishakhi Ray, Miryung Kim
Published at: Conference: 28th IEEE/ACM International Conference on Automated Software Engineering; Palo Alto, CA
Date: 11/11/13
Evidence Arguments for Using Formal Methods in Software Certification
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: International Workshop on Software Certification 2013; Pasadena, CA
Date: 11/07/13
Web Based Prognostics and 24 7 Monitoring
Miryam Strautkalns, Peter Robinson
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/14/13
A Cryogenic Fluid System Simulation in Support of Integrated Systems Health Management
John Barber, Kyle Johnston, Matthew Daigle
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
Advanced Methods for Determining Predicition Uncertainty in Model-Based Prognostics with Application to Plantary Rovers
Matthew Daigle, Shankar Sankararaman
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
Electrochemistry-based Battery Modeling for Prognostics
Matthew Daigle, Chetan Kulkarni
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
A Novel Computational Methodology for Uncertainty Quantification in Prognostics Using The Most Probable Point Concept
Shankar Sankararaman, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
IP Transducer Application of Model-Based Wear Detection and Estimation Using Steady State Conditions
Christopher Teubert, Matthew Daigle
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13
Probabilistic Delamination Diagnosis of Composite Materials using a Novel Bayesian Imaging Method
Tishun Peng, Abhinav Saxena, Kai Goebel, Shankar Sankararaman, Yongming Liu
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/12/13
An Energy-Based Prognostic Framework to Predict Fatigue Damage Evolution in Composites
Juan Chiachio, Manuel Chiachio, Abhinav Saxena, Guillermo Rus, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/12/13
Why is the Remaining Useful Life Prediction?
Shankar Sankararaman, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/01/13
A Formal Basis for Safety Case Patterns
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: SafeComp2013; Toulouse, France
Date: 09/24/13


Filter by year

2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov