关注
Denis Mazzucato
Denis Mazzucato
Inria, École normale supérieure
在 inria.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作，请稍后再试。
文章 1–3