67 citations · 299 across the 33 of their papers we have counts for
3 papers · 1 filter
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Corina Pasareanu, Ravi Mangal, Divya Gopinath +1
Providing safety guarantees for autonomous systems is difficult as these systems operate in complex environments that require the use of learning-enabled components, such as deep n…
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath +4
Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components processing high-dimensional image data. Formal analysis of these sy…
SECOMlint: A linter for Security Commit Messages
Sofia Reis, Corina Pasareanu, Rui Abreu +1
Transparent and efficient vulnerability and patch disclosure are still a challenge in the security community, essentially because of the poor-quality documentation stemming from th…