Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
2
Pyra: A High Level Linter for Data Science Software
Static Analysis by Abstract Interpretation Against Data Leakage in Machine Learning
On Using Certified Training towards Empirical Robustness
Abstract Interpretation as Automated Deduction
Inference of Ranking Functions for Proving Temporal Properties by Abstract Interpretation
×
Cite