1

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

A Formal Framework to Measure the Incompleteness of Abstract Interpretations

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