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

Publications for All Years (542 out of 542)

Symbolic Execution Enhanced System Testing
Misty Davies, Vishwanath Raman, Corina Pasareanu
Published at: Conference: Verified Software: Theories, Tools and Experiments; Philadelphia, PA
Date: 01/27/12
A Knowledge-Based System Approach for Sensor Fault Modeling, Detection and Mitigation
Jonny da Silva, Abhinav Saxena, Edward Balaban, Kai Goebel
Published at: Journal Article: Expert Systems with Applications
Date: 01/26/12
Prognostics Approach for Power MOSFET under Thermal-Stress
Jose Celaya-Galvan, Abhinav Saxena, Sankalita Saha, Kai Goebel
Published at: Conference: The Annual Reliability and Maintainability Symposium; Reno, NV
Date: 01/23/12
Accelerated Aging in Electrolytic Capacitors for Prognostics
Jose Celaya-Galvan, Chetan Kulkarni, Sankalita Saha, Gautam Biswas, Kai Goebel
Published at: Conference: The Annual Reliability and Maintainability Symposium; Reno, NV
Date: 01/23/12
Adaptive Control of Linear Modal Systems using Residual Mode Filters and a Simple Disturbance Estimator
Mark Balas, Susan Frost
Date: 01/12/12
Machine Learning and Knowledge Discovery for Engineering Systems Health Management: Introductory Chapter
Ashok Srivastava, Jiawei Han
Published at: Book Chapter: Machine Learning and Knowledge Discovery for Engineering Systems Health Management
Date: 01/01/12
NASA's Contributions to Information Technology: A View From Ames Research Center
Michael Shafto, David Korsmeyer
Published at: Journal Article: IT Professional
Date: 12/15/11
Detecting Abnormal Machine Characteristics in Cloud Infrastructures
Kanishka Bhaduri, Kamalika Das, Bryan Matthews
Published at: Conference: IEEE International Conference on Data Mining; Vancouver, Canada
Date: 12/10/11
Wind Energy Research Interests and Activities at NASA Ames Research Center
Susan Frost
Published at: Oral or Visual Presentation: Meeting at DOE HQ; Washington, DC
Date: 12/01/11
Prognostic Performance Metrics
Kai Goebel, Abhinav Saxena, Jose Celaya-Galvan, Sankalita Saha, Bhaskar Saha
Published at: Book Chapter: Data Mining in Systems Health Management: Detection, Diagnostics and Prognostics
Date: 11/29/11
Automatic Extraction of JPF Options and Documentation
Oksana Tkachuk, David Bushnell, Wojceich Luks
Published at: Conference: JPF Workshop @ Automated Software Engineering (ASE 2011); Lawrence, KS
Date: 11/12/11
JPF-AWT: Model Checking GUI Applications
Peter Mehlitz, Oksana Tkachuk, Mateusz Ujma
Published at: Conference: 26th IEEE/ACM Intl Conf on Automated Software Engineering: Lawrence, KS
Date: 11/06/11
A Credibility Assessment Scoring (CAS) Process for Mission Risk Management
Silvano Colombano, Wei Lin, Michael Lowry
Published at: NASA STI Report ~ TM 215987
Date: 10/20/11
An overview of the V&V of Flight-Critical Systems effort at NASA
Guillaume Brat
Published at: Conference: SAE 2011 Aero Tech Congress & Exhibition: Toulouse, France
Date: 10/18/11
Intelligent Wireless Sensor Networks for System Health Monitoring
Richard Alena
Published at: Conference: Sensor Tech Foruml; Boston, MA
Date: 10/10/11


Filter by year

2015 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