Damiano Zuccalà

According to our database, Damiano Zuccalà authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

Formal Analysis of Fault Propagation in Complex Digital Systems.

Damiano Zuccalà, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

2024

Formal Fault Injection in Digital Blocks with Mined Assertions.

Damiano Zuccalà, Paul Breuil, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Formal Resilience Metric Characterization in Complex Digital Systems.

Damiano Zuccalà, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory

Proceedings of the IEEE European Test Symposium, 2024

2023

Formal Temporal Characterization of Register Vulnerability in Digital Circuits.

Damiano Zuccalà, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2023