-
Understanding Resilience Optimization Architectures With an Optimization Problem Repository
- Published at: Conference Paper; ASME 2021
- Date: 08/17/21
- Authors:
Daniel Hulse,
Hongyang Zhang,
Chris Hoyle
Publications for All Years (730 out of 730)
-
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
- Published at: Conference Paper;13th NASA Formal Methods Symposium (NFM 2021)
- Date: 05/24/21
- Authors:
Anastasia Mavridou
-
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks
- Published at: Conference Paper; IEEE Institute of Electrical and Electronics Engineers
- Date: 05/23/21
- Authors:
Corina Pasareanu
-
Scalability and Design of Six Rod Tensegrity Soft Robotic Structure
- Published at: Technical Memorandum (TM)
- Date: 05/14/21
- Authors:
Abed Musaffar,
Adrian Agogino
-
Talk for the T&E Group
- Published at: Presentation; T&E Briefing
- Date: 04/30/21
- Authors:
Guillaume Brat
-
FRET Requirements?
- Published at: Presentation; Amazon
- Date: 04/30/21
- Authors:
Dimitra Giannakopoulou
-
Capturing and Analyzing Requirements with FRET
- Published at: Presentation; SFHMMY 12, The Cnference of Electrical and Computer Engineering Students
- Date: 04/28/21
- Authors:
Anastasia Mavridou
-
Compositional Realizability Checking within FRET
- Published at: Technical Memorandum (TM)
- Date: 04/15/21
- Authors:
Dimitra Giannakopoulou,
Andreas Katis,
Anastasia Mavridou,
Tom Pressburger
-
Machine Learning Explainability and Transferability for Path Navigation
- Published at: Conference Paper; AIAA SciTech 2021
- Date: 01/11/21
- Authors:
Adrian Agogino
-
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