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

Publications for All Years (533 out of 533)

Automated Assume-Guarantee Reasoning by Abstraction Refinement
Mihaela Gheorghiu, Corina Pasareanu, Dimitra Giannakopoulou
Published at: 20th International Conference on Computer Aided Verification
Date: 07/07/08
Recent Results on "Approximations to Optimal Alarm Systems for Anomaly Detection"
Rodney Martin
Published at: 2008 IEEE International Symposium on Information Theory
Date: 07/06/08
Inferential Framework for Nonstationary Dynamics Part II: Application to a Model of Physiological Signaling
Vadim Smelyanskiy, Dimitry Luchinsky
Published at: TM
Date: 06/13/08
Bounded Linear Stability Margin Analysis of Nonlinear Hybrid Adaptive Control
Nhan Nguyen
Published at: American Control Conference
Date: 06/11/08
Model Based Analysis and Test Generation for Flight Software
Johann Schumann
Published at: ICSE 2009
Date: 05/16/08
A Flexible Evolvable Architecture for Constellation Mission Systems User Applications
Jay Trimble
Published at: SpaceOps 2008
Date: 05/15/08
General Purpose Data-Driven Monitoring for Space Operations
David Iverson
Published at: Infotech@Aerospace
Date: 04/06/08
Parametric Analysis of a Hover Test Vehicle using Advanced Generation and Data Analysis
Karen Gundy-Burlet
Published at: AIAA Infotech@Aerospace Conference and Exhibit
Date: 04/05/08
Bringing Web 2.0 to Government Research: A Case Study
Francesca Barrientos
Published at: CHI 2009
Date: 04/04/08
Automated Mars Drilling for IceBreaker
Brian Glass
Planetary Analogs for Drilling Automation Testing
Brian Glass
Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification
Ewen Denney
Published at:
Assessment of Robotic Recon for Human Exploration of the Moon
Terry Fong
Robotic Recon for Human Exploration
Terry Fong
Evaluation of Anomaly Detection Capability for Ground-Based Pre-Launch Shuttle Operations
Rodney Martin
Published at: Book Chapter: IN-TECH: Aerospace Technologies Advancements


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