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

Publications for the year 2013 (64 out of 509)

Work Practice Simulation of Complex Human-Automation Systems in Safety Critical Situations: The Brahms Generalized Ɯberlingen Model
William Clancey, Charlotte Linde, ChinHua Seah, Michael Shafto
Published at: NASA STI Report Series: TP-2013-216508
Date: 06/01/13
Aviation Safety: Modeling and Analyzing complex Interactions between Humans and Automated Systems
Neha Rungta, Guillaume Brat, William Clancey, Charlotte Linde, Franco Raimondi
Published at: Conference: 3rd International Conference on Application and Theory of Automation in Command and Control Systems; Naples Italy
Date: 05/28/13
Reliability Analysis in Symbolic Pathfinder
Antonio Filieri, Corina Pasareanu, Willem Visser
Published at: International Conference on Software Engineering (ICSE); San Francisco, CA
Date: 05/18/13
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


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