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

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

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

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

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

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

Querying Safety Cases
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

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

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

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

Hardware Design and Testing of SUPERball, a Modular Tensegrity Robot
Andrew Sabelhaus, Jonathan Bruce, Ken Caluwaerts, Yangxin Chen, Dizhou Lu, Yuejia Liu, Adrian Agogino, Vytas SunSpiral, Alice Agogino
Published at: Conference: 6th edition of the World Conference of the International Association for Structural Control and Monitoring (IACSM); Barcelona, Spain
Date: 07/15/14