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

Publications for All Years (558 out of 558)

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
Generation of Simulated Tracking Data for LADEE Operational Readiness Testing
James Woodburn, Lisa Anne Policastri, Brandon Owens
Published at: Conference: 25th AAS/AIAA Space Flight Mechanics Meeting; Williamsburg, VA
Date: 01/11/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
Sun Safe Mode Controller Design for LADEE
Jesse Fusco, Sean Swei, Robert Nakamura
Published at: Conference: AIAA SciTech 2015; Kissimmee, FL
Date: 01/05/15
LMI-based Multiobjective Optimization and Control of Flexible Aircraft Using VCCTEF
Sean Swei, George Zhu, Nhan Nguyen
Published at: Conference: AIAA SciTech 2015; Kissimmee, FL
Date: 01/05/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


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