Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
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
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer
<
>
×
Cite