Publications for All Years (681 out of 681)
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
Neha Rungta, Anitha Murugesan, Michael Whalen, Oksana Tkachuk, Suzette Person
Published at: Conference: NASA Formal Methods; Pasadena, CA
Date: 04/27/15
Neha Rungta, Anitha Murugesan, Michael Whalen, Oksana Tkachuk, Suzette Person
Published at: Conference: NASA Formal Methods; Pasadena, CA
Date: 04/27/15
Safety Case Patterns: Theory and Applications
Ewen Denney, Ganeshmadhav Pai
Published at: NASA STI Report Series: TM #2015-218492
Date: 03/27/15
Ewen Denney, Ganeshmadhav Pai
Published at: NASA STI Report Series: TM #2015-218492
Date: 03/27/15
SimSup's Loop: A Control Theory Approach to Spacecraft Operator Training
Brandon Owens, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/13/15
Brandon Owens, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/13/15
LADEE Preparations for Contingency Operations for the Lunar Orbit Insertion Maneuver
Howard Cannon, Anupa Bajwa, Peter Berg, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Howard Cannon, Anupa Bajwa, Peter Berg, Alan Crocker
Published at: Conference: IEEE Aerospace Conference 2015: Big Sky, MT
Date: 03/07/15
Stochastic Prediction of Remaining Driving Time and Distance for a Planetary Rover
Matthew Daigle, Shankar Sankararaman, Chetan Kulkarni
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
Matthew Daigle, Shankar Sankararaman, Chetan Kulkarni
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
An Integrated Framework for Distributed Diagnosis of Process and Sensor Faults
Anibal Bregon, Matthew Daigle, Indranil Roychoudhury
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
Anibal Bregon, Matthew Daigle, Indranil Roychoudhury
Published at: Conference: IEEE Aerospace Conference: Big Sky, MT
Date: 03/07/15
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
- NASA Official: Sonie Lau
- Curator: ASANI Solutions