Publications for All Years (690 out of 690)
Software Testbed for Developing and Evaluating Integrated Autonomous Subsystems
Peter Robinson, James Ong, Emilio Remolina, Axel Prompt, Adam Sweet
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Peter Robinson, James Ong, Emilio Remolina, Axel Prompt, Adam Sweet
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Active Wing Shaping Control Concept Using Composite Lattice-based Cellular Materials
Sean Swei, Kenneth Cheung
Published at: Oral or Visual Presentation: NARI Seedling Fund Final Reporting
Date: 02/15/15
Sean Swei, Kenneth Cheung
Published at: Oral or Visual Presentation: NARI Seedling Fund Final Reporting
Date: 02/15/15
Open Source Mission Control for Chrome
Jay Trimble
Published at: Publication: Other: Company and University Talk, publicly available
Date: 01/31/15
Jay Trimble
Published at: Publication: Other: Company and University Talk, publicly available
Date: 01/31/15
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
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
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
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
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
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
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
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
- NASA Official: Sonie Lau
- Curator: ASANI Solutions