Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs (Competition Contribution)
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
>
×
Cite