ติดตาม
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