-
LADEE Simulators for Mission Operations
- Published at: Oral or Visual Presentation: 2014 Workshop on Spacecraft Flight Software; Pasadena, CA
- Date: 12/18/14
- Authors:
Nathaniel Benz
Publications for the year 2014 (41 out of 726)
-
LADEE Multi-Domain Simulation
- Published at: Oral or Visual Presentation: 2014 Workshop on Spacecraft Flight Software; Pasadena, CA
- Date: 12/17/14
- Authors:
Nathaniel Benz,
Danilo Viazzo
-
Infrastructure and Process Improvements After LADEE
- Published at: Conference: Spacecraft Flight Software (FSW-14); Pasadena, CA
- Date: 12/17/14
- Authors:
Karen Gundy-Burlet,
Nathaniel Benz,
Joseph Castle,
Gregory Limes,
Michael Logan
-
Automating the Assembly of Aviation Safety
- Published at: Journal Article: IEEE Transactions on Reliability; IEEE Computer Society
- Date: 10/30/14
- Authors:
Ewen Denney,
Ganeshmadhav Pai
-
NASA GeneLab Concept of Operations
- Published at: Conference: American Society for Gravitational and Space Research; Pasadena, CA
- Date: 10/22/14
- Authors:
Terri Thompson,
Kristina Gibbs,
Jon Rask,
Joseph Coughlan,
Jeffrey Smith
-
Analysis and Prediction of Weather Impacted Ground Stop Operations
- Published at: Conference: 33rd Digital Avionics Systems Conference; Colorado Springs, CO
- Date: 10/15/14
- Authors:
Yao Wang
-
Assuring Ground Detect and Avoid for UAS Operations
- Published at: Conference: 33rd Digital Avionics Systems Conference; Colorado Springs, CO
- Date: 10/05/14
- Authors:
Randall Berthold,
Ewen Denney,
Matthew Fladeland,
Ganeshmadhav Pai,
Bruce Storms
-
Integrated Diagnostics and Prognostics for the Electrical Power System of a Planetary Rover
- Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2014 (PHM 2014); Fort Worth, TX
- Date: 09/28/14
- Authors:
Matthew Daigle,
Indranil Roychoudhury,
Anibal Bregon
-
Qualitative Event-Based Fault Isolation under Uncertain Observations
- Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2014 (PHM 2014); Fort Worth, TX
- Date: 09/28/14
- Authors:
Matthew Daigle,
Indranil Roychoudhury,
Anibal Bregon
-
Wing Shaping Concepts Using Distributed Propulsion
- Published at: Journal: Aircraft Engineering and Aerospace Technology
- Date: 09/28/14
- Authors:
Kevin Reynolds,
Nhan Nguyen,
Eric Bi-Wen Ting
-
Querying Safety Cases
- Published at: Conference: SafeComp 2014: Firenza, Italy
- Date: 09/10/14
- Authors:
Ewen Denney,
Dwight Naylor,
Ganeshmadhav Pai
-
IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)
- Published at: Conference: SEFM 2014; Grenoble, France
- Date: 09/01/14
- Authors:
Guillaume Brat,
Jorge Navas Laserna,
Nija Shi,
Arnaud Venet
-
Determining Mission Effects of Equipment Failures
- Published at: Conference: Space 2014; San Diego, CA
- Date: 08/03/14
- Authors:
Paul Morris,
Minh Do,
Robert McCann,
Lilijana Spirkovska,
Mark Schwabacher
-
Design and Control of Compliant Tensegrity Robots through Simulation and Hardware Validation
- Published at: Journal Article: Journal of the Royal Society Interface
- Date: 07/29/14
- Authors:
Vytas SunSpiral,
Ken Caluwaerts,
Jeremie Despraz,
Atil Iscen,
Andrew Sabelhaus,
Jonathan Bruce,
Benjamin Schrauwen
-
Feedback-driven Dynamic Invariant Discovery
- Published at: Conference: ISSTA '14: International Symposium on Software Testing and Analysis; San Jose, CA
- Date: 07/23/14
- Authors:
Neha Rungta,
Lingming Zhang,
Guowei Yang,
Suzette Person,
Sarfraz Khurshid