Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
A Logic for the Imprecision of Abstract Interpretations
Termination Resilience Static Analysis
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
>
×
Cite