Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
Relating Distances and Abstractions: An Abstract Interpretation Perspective
Introducing Pyra: A High Level Linter for Data Science
Quantitative Static Timing Analysis
An Abstract Interpretation-Based Data Leakage Static Analysis
Automatic Detection of Vulnerable Variables for CTL Properties of Programs
Quantitative Input Usage Static Analysis
Monotonicity and the Precision of Program Analysis
Abstract Interpretation-Based Feature Importance for Support Vector Machines
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
>
×
Cite