Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. - Denis Mazzucato; Caterina Urban (SAS, 2021)

Quantitative Input Usage Static Analysis. - Denis Mazzucato; Marco Campion; Caterina Urban (NFM, 2024)

Quantitative Static Timing Analysis. - Denis Mazzucato; Marco Campion; Caterina Urban (SAS, 2024)

Static Analysis by Abstract Interpretation of Quantitative Program Properties. (Analyse Statique par Interprétation Abstraite de Propriétés Quantitatives de Programmes). - Denis Mazzucato (2024)

Relational Hoare Logic for Realistically Modelled Machine Code. - Denis Mazzucato; Abdalrhman Mohamed; Juneyoung Lee; Clark W. Barrett; Jim Grundy; John Harrison; Corina S. Pasareanu (CAV (1), 2025)