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

Property Inference for Deep Neural Networks
Divya Gopinath, Hayes Converse, Corina Pasareanu, Ankur Taly
Published at: Conference: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019); San Diego, CA
Date: 11/12/19

Integrated System for Autonomous and Adaptive Caretaking (ISAAC) - Gateway T&V September Demo
Oleg Alexandrov, Mark Allan, Julia Badger, Charles Claunch, Matt Deans, Lorenzo Flueckiger, Patrick Knauth, Khaled Al-sharif, Trey Smith, Terrence Thurk
Published at: Oral or Visual Presentation: SPHERES/Astrobee Working Group; NASA SPHERES/Astrobee Facility; Moffett Field, CA
Date: 11/06/19

ISSA Conops
Kyle Ellis, Paul Krois, Misty Davies, John Koelling
Published at: Other: ISSA ConOps Development
Date: 10/31/19

Static Analysis using Abstract Interpretation
Maxime Arthaud
Published at: Oral or Visual Presentation; Guest Lecture at CMU; Moffett Field, California
Date: 10/28/19

Matching Ontologies for Air Traffic Management: A Comparison and Reference Alignment of the AIRM and NASA ATM Ontologies
Audun Vennesland, Richard Keller, Christoph Schuetz, Eduard Gringinger, Bernd Neumayr
Published at: Conference: The Fourteenth International Workshop on Ontology Matching; Auckland, NZ
Date: 10/26/19

Presentation for IAC 2019
Roberto Carlino
Published at: Conference: IAC 2019; Washington, DC
Date: 10/25/19

A Comparative Study of Two Complex Ontologies in Air Traffic Management
Eduard Gringinger, Richard Keller, Audun Vennesland, Christoph Schuetz, Bernd Neumayr
Published at: Conference: 38th Digital Avionics Systems Conference 2019; San Diego, CA
Date: 09/12/19

Structural Consequence Analysis:Towards the Quantification of Component Consequential Importance in System Architecture Design
Hannah Walsh, Mohammad Hejase, Daniel Hulse, Guillaume Brat, Irem Tumer
Published at: Conference; International Design Engineering Technical Conferences & Computers and Information in Engineering Conference; Anaheim, CA.
Date: 08/20/19

Data Validation: Difference Imaging and Centroid Analysis
Joseph Twicken
Published at: NASA/TP-2019-220320
Date: 08/16/19

First Year Threshold Crossing Events in the TESS SPOC Transit Search
Joseph Twicken, Jon Jenkins, Douglas Caldwell, Robert L Morris, Mark Rose
Published at: Conference Poster: TESS Science Conference #1; Cambridge, MA
Date: 07/29/19

Dynamic Controllability with Single and Multiple Indirect Observations
Paul Morris, Arthur Bit-Monnot
Published at: Conference: IntEx Workshop at ICAPS 2019 Conference; Berkeley, CA
Date: 07/12/19

MRAC with Time-varying Reference Model from Convex Combination
Kelley Hashemi, Nhan Nguyen
Published at: Conference: American Control Conference; Philadelphia, PA
Date: 07/10/19