Publications for All Years (719 out of 719)
Workflow Agents vs. Expert Systems: Problem solving methods in work systems design
William Clancey
Published at: Journal Article
Date: 08/01/08
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
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
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
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
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
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
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
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
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
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
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
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
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
Francesca Barrientos
Published at: CHI 2009
Date: 04/04/08
Online Dectection and Modeling of safety boundaries for Aerospace Application using Bayesian Statistics
Yuning He
Published at: Conference: International Joint Conference on Neural Networks; Killarney, Ireland
Date: 07/12/05
Yuning He
Published at: Conference: International Joint Conference on Neural Networks; Killarney, Ireland
Date: 07/12/05
- NASA Official: Sonie Lau
- Curator: ASANI Solutions