Publications

Publications for the year 2020 (23 out of 744)

Integration and Evaluation of the AdvoCATE, FRET,CoCoSim, and Event-B tools on the Inspection Rover Case Study
Published at: Technical Memorandum (TM)
Date: 12/18/20
Authors: Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo

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

Actor-based Runtime Verification with MESA
Published at: 20th International Conference on Runtime Verification
Date: 10/06/20
Authors: Nastaran Shafiei

SMARt-STEReO: PreliminaryModel Description
Published at: NASA Technical Memorandum
Date: 09/30/20
Authors: Daniel Hulse, Misty Davies, Sequoia Andrade, Walsh Hannah

SMARt-STEReO: Preliminary Concept of Operations
Published at: NASA Technical Memorandum
Date: 09/30/20
Authors: Hannah Walsh

A Machine Learning Approach to Predict Martensitic Transition Temperatures for Shape Memory Alloys
Published at: Conference; International Materials Applications & Technologies 2020; Cleveland, OH
Date: 09/14/20
Authors: Joshua Hopkins, Othmane Benafan, John Lawson

Empirical Study of Actor-basedRuntime Verification
Published at: Technical Memorandum (TM)
Date: 07/24/20
Authors: Nastaran Shafiei, Klaus Havelund, Peter Mehlitz

Bridging the Gap Between Requirements and Simulink Model Analysis
Published at: Conference Paper; 26th International Working Conference on Requirements Engineering: Foundations for Software Quality
Date: 07/23/20
Authors: Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Dimitra Giannakopoulou, Johann Schumann

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

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

« Previous 12 Next »

Filter by year

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

Publication Search

Archive
2008	2007	2006	2005
2004	2003	2002	2001
2000	1999	1998