Publications for All Years (658 out of 658)
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
Qualitative Event-Based Fault Isolation under Uncertain Observations
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
Wing Shaping Concepts Using Distributed Propulsion
Kevin Reynolds, Nhan Nguyen, Eric Bi-Wen Ting
Published at: Journal: Aircraft Engineering and Aerospace Technology
Date: 09/28/14
Kevin Reynolds, Nhan Nguyen, Eric Bi-Wen Ting
Published at: Journal: Aircraft Engineering and Aerospace Technology
Date: 09/28/14
Querying Safety Cases
Ewen Denney, Dwight Naylor, Ganeshmadhav Pai
Published at: Conference: SafeComp 2014: Firenza, Italy
Date: 09/10/14
Ewen Denney, Dwight Naylor, Ganeshmadhav Pai
Published at: Conference: SafeComp 2014: Firenza, Italy
Date: 09/10/14
IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)
Guillaume Brat, Jorge Navas Laserna, Nija Shi, Arnaud Venet
Published at: Conference: SEFM 2014; Grenoble, France
Date: 09/01/14
Guillaume Brat, Jorge Navas Laserna, Nija Shi, Arnaud Venet
Published at: Conference: SEFM 2014; Grenoble, France
Date: 09/01/14
Determining Mission Effects of Equipment Failures
Paul Morris, Minh Do, Robert McCann, Lilijana Spirkovska, Mark Schwabacher
Published at: Conference: Space 2014; San Diego, CA
Date: 08/03/14
Paul Morris, Minh Do, Robert McCann, Lilijana Spirkovska, Mark Schwabacher
Published at: Conference: Space 2014; San Diego, CA
Date: 08/03/14
Design and Control of Compliant Tensegrity Robots through Simulation and Hardware Validation
Vytas SunSpiral, Ken Caluwaerts, Jeremie Despraz, Atil Iscen, Andrew Sabelhaus, Jonathan Bruce, Benjamin Schrauwen
Published at: Journal Article: Journal of the Royal Society Interface
Date: 07/29/14
Vytas SunSpiral, Ken Caluwaerts, Jeremie Despraz, Atil Iscen, Andrew Sabelhaus, Jonathan Bruce, Benjamin Schrauwen
Published at: Journal Article: Journal of the Royal Society Interface
Date: 07/29/14
Feedback-driven Dynamic Invariant Discovery
Neha Rungta, Lingming Zhang, Guowei Yang, Suzette Person, Sarfraz Khurshid
Published at: Conference: ISSTA '14: International Symposium on Software Testing and Analysis; San Jose, CA
Date: 07/23/14
Neha Rungta, Lingming Zhang, Guowei Yang, Suzette Person, Sarfraz Khurshid
Published at: Conference: ISSTA '14: International Symposium on Software Testing and Analysis; San Jose, CA
Date: 07/23/14
- NASA Official: Sonie Lau
- Curator: ASANI Solutions