-
Constraint-based Repair of Neural Network Classifiers
- Published at: Presentation; JPF 2021
- Date: 12/06/21
- Authors:
Divya Gopinath
Publications for All Years (744 out of 744)
-
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET
- Published at: Presentation; 24th International Symposium of Formal Methods (FM2021)
- Date: 11/25/21
- Authors:
Anastasia Mavridou
-
Certification Considerations for Adaptive Stress Testing of Airborne Software
- Published at: Conference Paper; IEEE/AIAA Digital Avionics Systems Conference 2021
- Date: 09/26/21
- Authors:
Ritchie Lee
-
Wildfire Emergency Response Hazard Extraction and Analysis of Trends (HEAT) through Natural Language Processing and Time Series
- Published at: Conference Paper; 40th Digital Avionics System Conference
- Date: 09/26/21
- Authors:
Sequoia Andrade
-
Wildfire Emergency Response Hazard Extraction and Analysis of Trends (HEAT) through Natural Language Processing and Time Series
- Published at: Presentation; 40th Digital Avionics System Conference
- Date: 09/26/21
- Authors:
Sequoia Andrade
-
FMD Tools Project Overview
- Published at: Presentation; GE Briefing
- Date: 09/24/21
- Authors:
Daniel Hulse
-
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning
- Published at: Presentation; IJCAI-21
- Date: 08/19/21
- Authors:
Ritchie Lee,
Ole Mengshoel,
Anshu Saksena,
Ryan Gardner,
Daniel Genin,
Joshua Silbermann,
Michael Owen,
Mykel Kochenderfer
-
Knowledge Discovery for Early Failure Assessment of Complex Engineered Systems Using Natural Language Processing
- Published at: Conference; 2021 ASME (IDETC/CIE 2021)
- Date: 08/17/21
- Authors:
Hannah Walsh,
Sequoia Andrade
-
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
-
Understanding Resilience Optimization Architectures With an Optimization Problem Repository
- Published at: Presentation; 2021 ASME (IDETC/CIE 2021)
- Date: 08/17/21
- Authors:
Daniel Hulse
-
Requirements with FRET
- Published at: Presentation; IEEE SMC-IT Conference
- Date: 07/30/21
- Authors:
Anastasia Mavridou
-
NNREPAIR: Constraint-based Repair of NeuralNetwork Classifiers
- Published at: Conference Paper;33rd International Conference on Computer-Aided Verification (CAV 2021) (Virtual)
- Date: 07/18/21
- Authors:
Divya Gopinath,
Muhammad Usman,
Youchneg Sun,
Yannic Noller,
Corina Pasareanu
-
The System Modeling and Analysis of Resiliency in STEReO (SMARt-STEReO)
- Published at: AIAA Aviation 2021
- Date: 07/07/21
- Authors:
Sequoia Andrade,
Hamza Bourbouh,
Marie Farrell,
Irfan Sljivo,
Guillaume Brat,
Louise Dennis,
Michael Fisher
-
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,
Hamza Bourbouh,
Marie Farrell,
Irfan Sljivo,
Guillaume Brat,
Louise Dennis,
Michael Fisher
-
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