Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Fairness-Aware Training of Decision Trees by Abstract Interpretation
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
Perfectly Parallel Fairness Certification of Neural Networks
Static Analysis of Data Science Software
Abstract Interpretation of CTL Properties
MaxSMT-Based Type Inference for Python 3
Permission Inference for Array Programs
An Abstract Interpretation Framework for Input Data Usage
Precise Widening Operators for Proving Termination by Abstract Interpretation
<
>
×
Cite