-
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
Publications for the year 2020 (23 out of 736)
-
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