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

Publications for the year 2013 (61 out of 496)

Hierarchical Safety Cases
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Conference: 5th NASA Formal Methods Symposium; NASA Ames Research Center, Moffett Field, CA
Date: 05/14/13
Memoise: A Tool for Memoized Symbolic Execution
Guowei Yang, Sarfraz Khurshid, Corina Pasareanu
Published at: Conference: 35th International Conference on Software engineering (ICSE 2013); San Francisco, CA
Date: 05/08/13
Uncertanity Quanitification in Remaining Useful Life of Aerospace Components using State Space Models and Inverse FORM
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA Non-Deterministic Approaches Conference; Boston, MA
Date: 04/08/13
Failure Consequence Assessment System (FCAS) Experiment Summary and Lesson Learned
Lilijana Spirkovska, Gordon Aaseng, Vijayakumar Baskaran, Silvano Colombano, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216507
Date: 03/30/13
Embedding Temporal Constraints For Coordinated Execution In Habitat Automation
Paul Morris, Mark Schwabacher, Michael Dalal, Charles Fry
Published at: Conference: 2013 International Workshop on Planning & Scheduling for Space: Moffett Field, CA
Date: 03/25/13
Anomaly Detection in Flight Recorder Data: A Dynamic Data-driven Approach
Santanu Das, Soumalya Sarkar, Asok Ray, Ashok Srivastava, Donald Simon
Published at: Other: Publication American Control Conference; Washington D.C
Date: 03/23/13
Polyglot: Systematic Analysis for Multiple Statechart Formalisms
Daniel Balasubramanian, Corina Pasareanu, Gabor Karsai, Michael Lowry
Published at: Conference: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS); Rome Italy
Date: 03/16/13
Advanced Caution and Warning System, Final Report -- 2011
Lilijana Spirkovska, Gordon Aaseng, David Iverson, Robert McCann, Peter Robinson
Published at: NASA STI Report Series: TM ~ 216510
Date: 03/15/13
Advanced Caution and Warning System, Final Report -- 2010
Lilijana Spirkovska, Peter Robinson, Sotirios Liolios, Charles Lee, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216509
Date: 03/15/13
Analytical Algorithms to Quantify the Uncertainty in Remaining Useful Life Prediction
Shankar Sankararaman, Matthew Daigle, Abhinav Saxena, Kai Goebel
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
A Structural Model Decomposition Framework for Systems Health Management
Indranil Roychoudhury, Matthew Daigle, Anibal Bregon, Belarmino Puildo
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Model-Based Diagnosis and Prognosis of a Water Recycling System
Indranil Roychoudhury, Vasyl Hafiychuk, Kai Goebel
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Hierachical Safety Cases
Ewen Denney, Iain Whiteside
Published at: NASA STI Report Series: TM ~ 216481
Date: 02/14/13
Novel Attitude control Challenges for an Earth-Observing CubeSat
Matthew Sorgenfrei, Matthew Nehrenz
Published at: Conference: IAA Symposium on Small Spacecraft for Earth Observation; Berlin Germany
Date: 01/31/13
Validation and Verification of LADEE Models and Software
Karen Gundy-Burlet
Published at: Conference: AIAA 51st Aerospace Sciences Meeting; Grapevine, TX
Date: 01/07/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