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

Publications for All Years (533 out of 533)

Extending JPF to Verify Distributed Systems
Nastaran Shafiei, Peter Mehlitz
Published at: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
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
Tensegrity Based Probes for Planetary Exploration: Entry, Descent and Landing (EDL) and Surface Mobility Analysis
Vytas SunSpiral, George Gorospe, Jonathan Bruce, Atil Iscen, George Korbel, Adrian Agogino
Published at: Journal: Journal for the International Planetary Probe Workshop
Date: 11/01/13
Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems
Johann Schumann, Kristin Rozier, Thomas Reinbacher, Ole Mengshoel, Timmy Mbaya
Published at: Conference: Prognostics and System Health Management Conference; New Orleans, LA
Date: 10/16/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


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