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

Publications for All Years (522 out of 522)

Generating Customized Verifiers for Automatically Generated Code
Ewen Denney
Published at: Seventh International Conference on Generative
Date: 07/28/08
Development of an On-Board Failure Diagnostics and Prognostics System for Solid Rocket Booster
Vadim Smelyanskiy, Dimitry Luchinsky, Viatcheslav Osipov, Dogan Timucin, Serdar Uckun
Published at: 44th AIAA JPC
Date: 07/24/08
Towards Intelligent Control for Next Generation Aircraft
Diana Acosta, Kalmanje Krishnakumar, Susan Frost
Published at: International Powered Lift Conference, Royal Aeronautical Society
Date: 07/22/08
A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
Corina Pasareanu
Published at: Journal Article-Software Tools for Technology Transfer
Date: 07/07/08
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


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