Integrating Statechart Components in Polyglot
Corina Pasareanu, Tom Pressburger, Michael Lowry, Gabor Karsai, Daniel Balasubramanian
Published at: Conference: 4th NASA Formal Methods 2012; Norfolk, VA
Date: 04/03/12

Voyages of Scientific Discovery with the Mars Exploration Rovers
William Clancey
Published at: Oral or Visual Presentation: Science & Technology Member-Led Forum; San Francisco, CA
Date: 02/27/12

Shielded-Twisted-Pair Cable Model for Chafe Fault Detection Via Time-Domain Reflectometry
Dogan Timucin, Kevin Wheeler, Stefan Schuet
Published at: NASA STI Report ~ TM #216001
Date: 02/01/12

Optimal Control Modification for Time-Scale Separated Systems
Nhan Nguyen
Published at: Journal Article: Research Disclosure
Date: 01/31/12

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

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

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

A Credibility Assessment Scoring (CAS) Process for Mission Risk Management
Silvano Colombano, Wei Lin, Michael Lowry
Published at: NASA STI Report ~ TM
Date: 10/20/11

Intelligent Wireless Sensor Networks for System Health Monitoring
Richard Alena
Published at: Conference: Sensor Tech Foruml; Boston, MA
Date: 10/10/11

Qualitative Event-based Diagnosis with Possible Conflicts: Case Study on the Third International Diagnostic Competition
Matt Daigle, Anibal Bregon, Indranil Roychoudhury
Published at: Conference: 22nd International Workshop on Principles of Diagnosis: Murnau, Germany
Date: 10/04/11

Third International Diagnostics Competition - DXC 11
Scott Poll, Johan De Kleer, Rui Abreu, Matthew Daigle, Alexander Feldman
Published at: Conference: 22nd International Workshop on Principles of Diagnosis: Mumau, Germany
Date: 10/04/11

NASA easyJet Collaboration on the Human Factors Monitoring Program (HFMP) Study
Ashok Srivastava
Published at: NASA STI Report ~ TM
Date: 09/30/11