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

Publications for All Years (542 out of 542)

Activity Planning for a Lunar Orbital Mission
John Bresina
Published at: Conference: 27th Conference on Innovative Applications of Artificial Intelligence; Austin TX
Date: 01/25/15
Trajectory Prediction and Alerting for Aircraft Mode and Energy State Awareness
Kimberlee Shish, John Kaneshige, Diana Acosta, Stefan Schuet, Thomas Lombaerts
Published at: Conference: AIAA SciTech 2015; Kissimmee, FL
Date: 01/15/15
Generation of Library Models for Verification of Android Applications
Oksana Tkachuk, Brink van der Merwe, Heila van der Merwe, Willem Visser
Published at: Publication: Other: Proceedings of the Java PathFinder Workshop; Salt Lake City, UT
Date: 01/15/15
Improving Coverage of Test-Cases Generated by Symbolic PathFinder for Programs with Loops
Neha Rungta, Rody Kersten, Suzette Person, Oksana Tkachuk
Published at: Publication: Other: Proceedings of the Java PathFinder Workshop; Salt Lake City, UT
Date: 01/15/15
Aeroelasticity of Axially Loaded Aerodynamic Structures for the Truss-Braced Wing Aircraft
Nhan Nguyen, Eric Bi-Wen Ting, Sonia Lebofsky
Published at: Conference: AIAA SciTech 2015; Kissimmee, FL
Date: 01/14/15
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems
Corina Pasareanu, Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu
Published at: Publication: Other: Proceedings of the Haifa Verification Conference (HVC 14)
Date: 01/09/15
Formal Foundations for Hierarchical Safety Cases
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Conference: 16th International Symposium on High Assurance Systems; Daytona Beach, FL
Date: 01/08/15
Aeroelastic Analysis of a Flexible Wing Wind Tunnel Model with Variable Camber Continuous Trailing Edge Flap Design
Nhan Nguyen, Eric Bi-Wen Ting, Sonia Lebofsky
Published at: Conference:AIAA Science and Technology Forum; Kissimmee FL
Date: 01/06/15
A Multi-Objective Flight Control Approach for Performance Adaptive Aeroelastic Wing
Nhan Nguyen, Ezra Amram Tal
Published at: Conference: AIAA SciTech 2015; Kissimmee, FL
Date: 01/04/15
Adaptive Linear Quadratic Gaussian Optimal Control Modification for Flutter Suppression of Adaptive Wing
Nhan Nguyen, Sean Swei, Eric Bi-Wen Ting
Published at: Conference:AIAA Science and Technology Forum; Kissimmee FL
Date: 01/03/15
LADEE Simulators for Mission Operations
Nathaniel Benz
Published at: Oral or Visual Presentation: 2014 Workshop on Spacecraft Flight Software; Pasadena, CA
Date: 12/18/14
LADEE Multi-Domain Simulation
Nathaniel Benz, Danilo Viazzo
Published at: Oral or Visual Presentation: 2014 Workshop on Spacecraft Flight Software; Pasadena, CA
Date: 12/17/14
Infrastructure and Process Improvements After LADEE
Karen Gundy-Burlet, Nathaniel Benz, Joseph Castle, Gregory Limes, Michael Logan
Published at: Conference: Spacecraft Flight Software (FSW-14); Pasadena, CA
Date: 12/17/14
Automating the Assembly of Aviation Safety
Ewen Denney, Ganeshmadhav Pai
Published at: Journal Article: IEEE Transactions on Reliability; IEEE Computer Society
Date: 10/30/14
NASA GeneLab Concept of Operations
Terri Thompson, Kristina Gibbs, Jon Rask, Joseph Coughlan, Jeffrey Smith
Published at: Conference: American Society for Gravitational and Space Research; Pasadena, CA
Date: 10/22/14


Filter by year

2015 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