-
Augmenting Topic Finding in the NASA Aviation Safety Reporting System using Topic Modeling
- Published at: Conference Paper; AIAA Scitech 2021
- Date: 06/11/20
- Authors:
Carlos Paradis
Publications for All Years (744 out of 744)
-
Capturing & Analyzing Requirements with FRET
- Published at: Presentation; NASA SWS technical seminar
- Date: 05/08/20
- Authors:
Dimitra Giannakopoulou
-
MBSwE for Autonomous Systems withReuse: Software Assurance BestPractices and Gaps Technical Report on Gap Analysis
- Published at: Contractor Report (CR)
- Date: 04/16/20
- Authors:
Johann Schumann,
Yuning He
-
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained
- Published at: Conference Paper; 28th IEEE International Requirements Engineering
- Date: 04/16/20
- Authors:
Anastasia Mavridou,
Hamza Bourbouh,
Dimitra Giannakopoulou,
Tom Pressburger,
Mohammad Hejase,
Johann Schumann,
Pierre-Loic Garoche
-
Generation of Formal Requirements from Structured Natural Language
- Published at: Conference: 26th REFSQ-2020; Pisa, Italy
- Date: 03/24/20
- Authors:
Dimitra Giannakopoulou,
Tom Pressburger,
Anastasia Mavridou,
Johann Schumann
-
Formal Requirements Elicitation with FRET
- Published at: Conference: 26th REFSQ-2020; Pisa, Italy
- Date: 03/24/20
- Authors:
Anastasia Mavridou,
Dimitra Giannakopoulou,
Tom Pressburger,
Johann Schumann,
Nija Shi
-
Androgynous Fasteners for Robotic Structural Assembly
- Published at: Conference: IEEE Aerospace Conference; Big Sky, MT
- Date: 03/13/20
- Authors:
Olivia Irene Formoso,
Christine Gregg,
Greenfield Trinh,
Arno Rogg,
Kenneth Cheung
-
Robotic Specialization in Autonomous Robotic Structural Assembly
- Published at: Conference: IEEE Aerospace Conference; Big Sky, MT
- Date: 03/09/20
- Authors:
Shahar Ben-Menahem,
Greenfield Trinh,
Christine Gregg,
Olivia Irene Formoso,
Kenneth Cheung
-
Analysis of Sample Acquisition Dynamics Using Discrete Element Method
- Published at: Conference: 2020 IEEE Aero Conference; Big Sky, MT
- Date: 03/06/20
- Authors:
Damiana Catanoso,
Thomas Stucky,
Sofia Cassel,
Arno Rogg
-
Avoiding Overfitting in Automated Program Repair using Formal Methods
- Published at: Journal Article: Software Engineering; IEEE Computer Society
- Date: 02/28/20
- Authors:
Corina Pasareanu,
Amirfarhad Nilizadeh,
Xuan-Bach Le,
Gary Leavens,
David Cok
-
TESS Data Release Notes: Sector 9 DRN 11
- Published at: NASA/TM-2019-220225
- Date: 02/21/20
- Authors:
Michael Fausnaugh,
Christopher Burke,
Douglas Caldwell,
Jon Jenkins,
Jeffrey C. Smith,
Joseph Twicken,
Roland Vanderspek,
John Doty,
Eric Ting,
Joel Villesenor
-
TESS Data Release Notes: Sector 18 DR 25, Update 1
- Published at: NASA/TM-2019-220477
- Date: 02/14/20
- Authors:
Michael Fausnaugh,
Christopher Burke,
Douglas Caldwell,
Jon Jenkins,
Jeffrey C. Smith,
Joseph Twicken,
Roland Vanderspek,
John Doty,
Eric Ting,
Joel Villesenor
-
Generic Safety Argument Patterns for Learning-enabled Components
- Published at: Conference Paper; SafeAI-2020; New York, NY
- Date: 02/07/20
- Authors:
Ganeshmadhav Pai,
Colin Smith,
Ewen Denney
-
Acoustic Optimization for Anti-Phase Asymmetric Rotor
- Published at: Conference Paper; 2020 AIAA SciTech; Orlando, Florida
- Date: 01/09/20
- Authors:
Nhan Nguyen,
Nicholas Cramer,
Juntao Xiong
-
Jig Twist Optimization of Mach 0.745 Transonic Truss-Braced Wing Aircraft and High-Fidelity CFD Validation
- Published at: Conference Paper; 2020 AIAA SciTech; Orlando, Florida
- Date: 01/06/20
- Authors:
Nhan Nguyen,
Juntao Xiong,
Jason Fugate