Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
Page not found
Perhaps you were looking for one of these?
Publications
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
Talks
Machine Learning Interpretability and Verification
Machine Learning Interpretability and Verification
Interpretability-Aware Verification of Machine Learning Software
Interpretability-Aware Verification of Machine Learning Software
Interpretability-Aware Verification of Machine Learning Software
Projects
ForML
SAIF
SeDaNo
Libra
Lyra
×
Cite