Denis Mazzucato

According to our database, Denis Mazzucato authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Relational Hoare Logic for Realistically Modelled Machine Code.

Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

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

PhD thesis, 2024

Quantitative Static Timing Analysis.

Denis Mazzucato, Marco Campion, Caterina Urban

Proceedings of the Static Analysis - 31st International Symposium, 2024

Quantitative Input Usage Static Analysis.

Denis Mazzucato, Marco Campion, Caterina Urban

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2021

Reduced Products of Abstract Domains for Fairness Certification of Neural Networks.

Denis Mazzucato, Caterina Urban

Proceedings of the Static Analysis - 28th International Symposium, 2021