Publications for All Years (681 out of 681)
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
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
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
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
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
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
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
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
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
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
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
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
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
Analysis and Prediction of Weather Impacted Ground Stop Operations
Yao Wang
Published at: Conference: 33rd Digital Avionics Systems Conference; Colorado Springs, CO
Date: 10/15/14
Yao Wang
Published at: Conference: 33rd Digital Avionics Systems Conference; Colorado Springs, CO
Date: 10/15/14
Assuring Ground Detect and Avoid for UAS Operations
Randall Berthold, Ewen Denney, Matthew Fladeland, Ganeshmadhav Pai, Bruce Storms
Published at: Conference: 33rd Digital Avionics Systems Conference; Colorado Springs, CO
Date: 10/05/14
Randall Berthold, Ewen Denney, Matthew Fladeland, Ganeshmadhav Pai, Bruce Storms
Published at: Conference: 33rd Digital Avionics Systems Conference; Colorado Springs, CO
Date: 10/05/14
Integrated Diagnostics and Prognostics for the Electrical Power System of a Planetary Rover
Matthew Daigle, Indranil Roychoudhury, Anibal Bregon
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2014 (PHM 2014); Fort Worth, TX
Date: 09/28/14
Matthew Daigle, Indranil Roychoudhury, Anibal Bregon
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2014 (PHM 2014); Fort Worth, TX
Date: 09/28/14
- NASA Official: Sonie Lau
- Curator: ASANI Solutions