Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems
Ritchie Lee, Robert Moss, Mykel Kochenderfer
Published at: Conference: 39th digital Avionics Systems Conference; San Antonio, TX
Date: 10/13/20

Capturing & Analyzing Requirements with FRET
Dimitra Giannakopoulou
Published at: Presentation; NASA SWS technical seminar
Date: 05/08/20

Formal Requirements Elicitation with FRET
Anastasia Mavridou, Dimitra Giannakopoulou, Tom Pressburger, Johann Schumann, Nija Shi
Published at: Conference: 26th REFSQ-2020; Pisa, Italy
Date: 03/24/20

Androgynous Fasteners for Robotic Structural Assembly
Olivia Irene Formoso, Christine Gregg, Greenfield Trinh, Arno Rogg, Kenneth Cheung
Published at: Conference: IEEE Aerospace Conference; Big Sky, MT
Date: 03/13/20

Robotic Specialization in Autonomous Robotic Structural Assembly
Shahar Ben-Menahem, Greenfield Trinh, Christine Gregg, Olivia Irene Formoso, Kenneth Cheung
Published at: Conference: IEEE Aerospace Conference; Big Sky, MT
Date: 03/09/20

Analysis of Sample Acquisition Dynamics Using Discrete Element Method
Damiana Catanoso, Thomas Stucky, Sofia Cassel, Arno Rogg
Published at: Conference: 2020 IEEE Aero Conference; Big Sky, MT
Date: 03/06/20

Avoiding Overfitting in Automated Program Repair using Formal Methods
Corina Pasareanu, Amirfarhad Nilizadeh, Xuan-Bach Le, Gary Leavens, David Cok
Published at: Journal Article: Software Engineering; IEEE Computer Society
Date: 02/28/20

TESS Data Release Notes: Sector 9 DRN 11
Michael Fausnaugh, Christopher Burke, Douglas Caldwell, Jon Jenkins, Jeffrey C. Smith, Joseph Twicken, Roland Vanderspek, John Doty, Eric Ting, Joel Villesenor
Published at: NASA/TM-2019-220225
Date: 02/21/20

TESS Data Release Notes: Sector 18 DR 25, Update 1
Michael Fausnaugh, Christopher Burke, Douglas Caldwell, Jon Jenkins, Jeffrey C. Smith, Joseph Twicken, Roland Vanderspek, John Doty, Eric Ting, Joel Villesenor
Published at: NASA/TM-2019-220477
Date: 02/14/20

Generic Safety Argument Patterns for Learning-enabled Components
Ganeshmadhav Pai, Colin Smith, Ewen Denney
Published at: Conference Paper; SafeAI-2020; New York, NY
Date: 02/07/20

Acoustic Optimization for Anti-Phase Asymmetric Rotor
Nhan Nguyen, Nicholas Cramer, Juntao Xiong
Published at: Conference Paper; 2020 AIAA SciTech; Orlando, Florida
Date: 01/09/20

Jig Twist Optimization of Mach 0.745 Transonic Truss-Braced Wing Aircraft and High-Fidelity CFD Validation
Nhan Nguyen, Juntao Xiong, Jason Fugate
Published at: Conference Paper; 2020 AIAA SciTech; Orlando, Florida
Date: 01/06/20

Improving Trust in Deep Neural Networks with Nearest Neighbors
Adrian Agogino, Dimitra Giannakopoulou, Ritchie Lee, Justin Clarke
Published at: Conference Paper; Scitech 2020; Orlando, FL
Date: 12/31/19

Ames Early Career Network Lighting talk series with JPL and JAXA
Roberto Carlino
Published at: Oral or Visual Presentation; Ames Early Career Network Lighting talk series with JPL; NASA Ames
Date: 12/06/19

Formalizing and Analyzing Requirements with FRET
Anastasia Mavridou
Published at: Oral or Visual Presentation; Guest lecture at CMU; Moffet Field, CA
Date: 11/26/19