NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Publications for All Years (712 out of 712)

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
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Tom Pressburger, Mohammad Hejase, Johann Schumann, Pierre-Loic Garoche
Published at: Conference Paper; 28th IEEE International Requirements Engineering
Date: 04/16/20
Generation of Formal Requirements from Structured Natural Language
Dimitra Giannakopoulou, Tom Pressburger, Anastasia Mavridou, Johann Schumann
Published at: Conference: 26th REFSQ-2020; Pisa, Italy
Date: 03/24/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


Filter by year

2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo - nasa.gov