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

Publications for All Years (532 out of 532)

A Discussion on Uncertainty Representation and Interpretation in Model-based Prognostics Algorithms based on Kalman Filter Estimation Applied to Prognostics of Electronics Components
Jose Celaya-Galvan, Abhinav Saxena, Kai Goebel
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/19/12
A Briefing on Metrics and Risks for Autonomous Decision-Making in Aerospace Applications
Susan Frost, Kai Goebel, Jose Celaya-Galvan
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/19/12
Certification of COTS Software for NASA Human Rated Flight Systems
Andre Goforth
Published at: Conference: Info Tech 2012; Garden Grove, CA
Date: 06/18/12
Evaluating the Impact of Unrestricted Operation of Unmanned Aircraft Systems in the National Airspace Systems in the National Airspace System
Abhinav Saxena, Indranil Roychoudhury, Christian Neukom, Gregory Pisanich, Alex Huang
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/18/12
Requirements Flowdown for Prognostics and Health Management
Abhinav Saxena, Indranil Roychoudhury, Jose Celaya-Galvan, Kai Goebel
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/18/12
Physics based Modeling and Prognostics of Electrolytic Capacitors
Chetan Kulkarni, Jose Celaya-Galvan, Gautam Biswas, Kai Goebel
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/18/12
On the Robustness Properrties of M-MRAC
Vahram Stepanyan, Kalmanje Krishnakumar
Published at: Conference; AIAA Infotech@Aerospace; Garden Grove, CA
Date: 06/18/12
Requirement Flowdown for Prognostics Health Management
Abhinav Saxena, Indranil Roychoudhury, Jose Celaya-Galvan, Kai Goebel, Bhaskar Saha
Published at: Conference: AIAA @Infotec 2012; Garden Grove, CA
Date: 06/18/12
An Integrated Model-Based Distributed Diagnosis and Prognosis Framework
Anibal Bregon, Matthew Daigle, Indranil Roychoudhury
Published at: Conference: The 23rd International Workshop on Principles of Diagnosis DX2012; Great Malvern, UK
Date: 06/14/12
TUBES
Sarah Thompson
Published at: Video Program
Date: 06/07/12
Memoized Symbolic Execution
Corina Pasareanu, Guowei Yang, Sarfraz Khurshid
Published at: Conference: 34th Intl Conference on Software Engineering (ICSE 2012); Zurich Switzerland
Date: 06/02/12
Symbolic PathFinder: Integrating Symbolic Execution with Model Checking for Java Bytecode Analysis
Corina Pasareanu, Willem Visser, David Bushnell, Jaco Geldenhuys, Peter Mehlitz
Published at: Journal Article: Automated Software Engineering; Springer
Date: 06/01/12
Modeling Multiple Human-Automation Distributed Systems using Network-form Games
Guillaume Brat
Published at: Conference: FormaIH; London England
Date: 05/18/12
Statechart Analysis with Symbolic PathFinder
Corina Pasareanu
Published at: Conference: 4th Workshop on Contraints in Software Testing Verification, and Analysis; Montreal Canada
Date: 04/21/12
Symbolic Execution with Interval Solving and Meta-heuristic Search
Mateus Borges, Marcelo D'amorim, Anand Saswat, David Bushnell, Corina Pasareanu
Published at: Conference: 5th International Conference on Software Testing, Verification, & Validation; Montreal Canada
Date: 04/18/12


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