-
Property Inference for Deep Neural Networks
- Published at: Conference: 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019); San Diego, CA
- Date: 11/12/19
- Authors:
Divya Gopinath,
Hayes Converse,
Corina Pasareanu,
Ankur Taly
Publications for All Years (726 out of 726)
-
Integrated System for Autonomous and Adaptive Caretaking (ISAAC) - Gateway T&V September Demo
- Published at: Oral or Visual Presentation: SPHERES/Astrobee Working Group; NASA SPHERES/Astrobee Facility; Moffett Field, CA
- Date: 11/06/19
- Authors:
Oleg Alexandrov,
Mark Allan,
Julia Badger,
Charles Claunch,
Matt Deans,
Lorenzo Flueckiger,
Patrick Knauth,
Khaled Al-sharif,
Trey Smith,
Terrence Thurk
-
ISSA Conops
- Published at: Other: ISSA ConOps Development
- Date: 10/31/19
- Authors:
Kyle Ellis,
Paul Krois,
Misty Davies,
John Koelling
-
Static Analysis using Abstract Interpretation
- Published at: Oral or Visual Presentation; Guest Lecture at CMU; Moffett Field, California
- Date: 10/28/19
- Authors:
Maxime Arthaud
-
Matching Ontologies for Air Traffic Management: A Comparison and Reference Alignment of the AIRM and NASA ATM Ontologies
- Published at: Conference: The Fourteenth International Workshop on Ontology Matching; Auckland, NZ
- Date: 10/26/19
- Authors:
Audun Vennesland,
Richard Keller,
Christoph Schuetz,
Eduard Gringinger,
Bernd Neumayr
-
Presentation for IAC 2019
- Published at: Conference: IAC 2019; Washington, DC
- Date: 10/25/19
- Authors:
Roberto Carlino
-
A Comparative Study of Two Complex Ontologies in Air Traffic Management
- Published at: Conference: 38th Digital Avionics Systems Conference 2019; San Diego, CA
- Date: 09/12/19
- Authors:
Eduard Gringinger,
Richard Keller,
Audun Vennesland,
Christoph Schuetz,
Bernd Neumayr
-
Structural Consequence Analysis:Towards the Quantification of Component Consequential Importance in System Architecture Design
- Published at: Conference; International Design Engineering Technical Conferences & Computers and Information in Engineering Conference; Anaheim, CA.
- Date: 08/20/19
- Authors:
Hannah Walsh,
Mohammad Hejase,
Daniel Hulse,
Guillaume Brat,
Irem Tumer
-
Data Validation: Difference Imaging and Centroid Analysis
- Published at: NASA/TP-2019-220320
- Date: 08/16/19
- Authors:
Joseph Twicken
-
First Year Threshold Crossing Events in the TESS SPOC Transit Search
- Published at: Conference Poster: TESS Science Conference #1; Cambridge, MA
- Date: 07/29/19
- Authors:
Joseph Twicken,
Jon Jenkins,
Douglas Caldwell,
Robert L Morris,
Mark Rose
-
Dynamic Controllability with Single and Multiple Indirect Observations
- Published at: Conference: IntEx Workshop at ICAPS 2019 Conference; Berkeley, CA
- Date: 07/12/19
- Authors:
Paul Morris,
Arthur Bit-Monnot
-
MRAC with Time-varying Reference Model from Convex Combination
- Published at: Conference: American Control Conference; Philadelphia, PA
- Date: 07/10/19
- Authors:
Kelley Hashemi,
Nhan Nguyen
-
ARMS: A Developing Metadata Standard for Describing Astrobiology Research Products (presentation slides)
- Published at: Oral or Visual Presentation: AbSciCon 2019; Bellevue, WA
- Date: 06/27/19
- Authors:
Richard Keller,
David Blake,
Thomas Bristow,
George Cooper,
Christopher Dateo,
David Des Marais,
Angela Detweiler,
Linda Jahnke,
Michael Kubo,
Valverde Lafuente,
Mary Parenteau,
Leslie Bebout,
Nathan Stone
-
The Role of Safety Architectures in Aviation Safety Cases
- Published at: Journal Article; Reliability Engineering and System Safety; Elsevier
- Date: 06/21/19
- Authors:
Ewen Denney,
Ganeshmadhav Pai,
Iain Whiteside
-
Investigation of Transonic Truss-Braced Wing Aircraft Transonic Wing-Strut Interference Effects using FUN3D
- Published at: Conference: AIAA Aviation Conference, Dallas, TX
- Date: 06/18/19
- Authors:
Juntao Xiong,
Jason Fugate,
Nhan Nguyen