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

Publications for the year 2008 (47 out of 528)

Closing the Certification Gaps in Adaptive Flight Control Software
Steven Jacklin
Published at: 2008 GNC CONFERENCE
Date: 08/18/08
Voyages of Discovery with the Mars Exploration Rovers
William Clancey
Published at: Mars Society Annual Convention
Date: 08/15/08
AutoBayes Program Synthesis System Users Manual
Johann Schumann
Published at: TM
Date: 08/08/08
Workflow Agents vs. Expert Systems: Problem solving methods in work systems design
William Clancey
Published at: Journal Article
Date: 08/01/08
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


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