Corina Pasareanu | DeepAI

DeepAI AI Chat

Featured Co-authors

Chi Zhang
179 publications
David Lo
123 publications
Clark Barrett
54 publications
Muhammad Usman
51 publications
Guy Katz
41 publications
Edward Kim
37 publications
Matt Fredrikson
29 publications
Youcheng Sun
27 publications
Radu Calinescu
25 publications
Zifan Wang
21 publications
Rui Abreu
18 publications

∙ 05/27/2023

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems

Providing safety guarantees for autonomous systems is difficult as these...

0 Corina Pasareanu, et al. ∙

∙ 01/17/2023

SECOMlint: A linter for Security Commit Messages

Transparent and efficient vulnerability and patch disclosure are still a...

0 Sofia Reis, et al. ∙

∙ 12/08/2022

SkipFuzz: Active Learning-based Input Selection for Fuzzing Deep Learning Libraries

Many modern software systems are enabled by deep learning libraries such...

0 Hong Jin Kang, et al. ∙

∙ 06/01/2022

On the Perils of Cascading Robust Classifiers

Ensembling certifiably robust neural networks has been shown to be a pro...

0 Ravi Mangal, et al. ∙

∙ 02/07/2022

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

We present DEEPDECS, a new method for the synthesis of correct-by-constr...

8 Radu Calinescu, et al. ∙

∙ 07/23/2021

Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair

Neural networks are increasingly being deployed in contexts where safety...

0 Klas Leino, et al. ∙

∙ 06/01/2021

On using distributed representations of source code for the detection of C security vulnerabilities

This paper presents an evaluation of the code representation model Code2...

21 David Coimbra, et al. ∙

∙ 03/23/2021

NNrepair: Constraint-based Repair of Neural Network Classifiers

We present NNrepair, a constraint-based technique for repairing neural n...

0 Muhammad Usman, et al. ∙

∙ 02/27/2021

NEUROSPF: A tool for the Symbolic Analysis of Neural Networks

This paper presents NEUROSPF, a tool for the symbolic analysis of neural...

0 Muhammad Usman, et al. ∙

∙ 04/17/2020

Parallelization Techniques for Verifying Neural Networks

Inspired by recent successes with parallel optimization techniques for s...

0 Haoze Wu, et al. ∙

∙ 02/12/2020

Fast Geometric Projections for Local Robustness Certification

Local robustness ensures that a model classifies all inputs within an ϵ-...

0 Aymeric Fromherz, et al. ∙

∙ 12/01/2019

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors

Even as deep neural networks have become very effective for tasks in vis...

39 Edward Kim, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world