Follow
Denis Mazzucato
Denis Mazzucato
Inria, École normale supérieure
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Reduced products of abstract domains for fairness certification of neural networks
D Mazzucato, C Urban
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
102021
Quantitative Input Usage Static Analysis
D Mazzucato, M Campion, C Urban
2023
Impatto: A Static Analyzer for Quantitative Input Data Usage
D Mazzucato, M Campion, C Urban
The system can't perform the operation now. Try again later.
Articles 1–3