Search Results for author: Corina Păsăreanu

Found 4 papers, 2 papers with code

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

no code implementations7 Feb 2022 Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina Păsăreanu, Misael Alpizar Santana, Gricel Vázquez

We use the method in simulation to synthesise controllers for mobile-robot collision mitigation and for maintaining driver attentiveness in shared-control autonomous driving.

Autonomous Driving Decision Making

Self-Correcting Neural Networks For Safe Classification

1 code implementation23 Jul 2021 Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina Păsăreanu

These constraints relate requirements on the order of the classes output by a classifier to conditions on its input, and are expressive enough to encode various interesting examples of classifier safety specifications from the literature.


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

1 code implementation1 Jun 2021 David Coimbra, Sofia Reis, Rui Abreu, Corina Păsăreanu, Hakan Erdogmus

This paper presents an evaluation of the code representation model Code2vec when trained on the task of detecting security vulnerabilities in C source code.

Fast Geometric Projections for Local Robustness Certification

no code implementations ICLR 2021 Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina Păsăreanu

Local robustness ensures that a model classifies all inputs within an $\ell_2$-ball consistently, which precludes various forms of adversarial inputs.

Cannot find the paper you are looking for? You can Submit a new open access paper.