Alert button
Picture for Corina S. Pasareanu

Corina S. Pasareanu

Alert button

Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

Feb 06, 2023
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu

Figure 1 for Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Figure 2 for Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Figure 3 for Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Figure 4 for Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Viaarxiv icon

An Overview of Structural Coverage Metrics for Testing Neural Networks

Aug 05, 2022
Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu

Figure 1 for An Overview of Structural Coverage Metrics for Testing Neural Networks
Figure 2 for An Overview of Structural Coverage Metrics for Testing Neural Networks
Figure 3 for An Overview of Structural Coverage Metrics for Testing Neural Networks
Figure 4 for An Overview of Structural Coverage Metrics for Testing Neural Networks
Viaarxiv icon

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks

Jan 31, 2022
Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu

Figure 1 for AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks
Figure 2 for AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks
Figure 3 for AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks
Figure 4 for AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks
Viaarxiv icon

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers

Mar 02, 2021
Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark Barrett

Figure 1 for DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
Figure 2 for DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
Figure 3 for DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
Figure 4 for DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers
Viaarxiv icon

Finding Invariants in Deep Neural Networks

Apr 29, 2019
Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu

Figure 1 for Finding Invariants in Deep Neural Networks
Figure 2 for Finding Invariants in Deep Neural Networks
Figure 3 for Finding Invariants in Deep Neural Networks
Figure 4 for Finding Invariants in Deep Neural Networks
Viaarxiv icon

Compositional Verification for Autonomous Systems with Deep Learning Components

Oct 18, 2018
Corina S. Pasareanu, Divya Gopinath, Huafeng Yu

Figure 1 for Compositional Verification for Autonomous Systems with Deep Learning Components
Figure 2 for Compositional Verification for Autonomous Systems with Deep Learning Components
Figure 3 for Compositional Verification for Autonomous Systems with Deep Learning Components
Viaarxiv icon

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks

Oct 02, 2017
Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark Barrett

Figure 1 for DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
Figure 2 for DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
Figure 3 for DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
Figure 4 for DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
Viaarxiv icon

Learning Probabilistic Systems from Tree Samples

Jul 21, 2012
Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke

Figure 1 for Learning Probabilistic Systems from Tree Samples
Figure 2 for Learning Probabilistic Systems from Tree Samples
Figure 3 for Learning Probabilistic Systems from Tree Samples
Figure 4 for Learning Probabilistic Systems from Tree Samples
Viaarxiv icon