Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
Abstract Lipschitz Continuity: Combining Semantic and Quantitative Approximations
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
>
×
Cite