Damiano Zuccalà

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

Collaborative distances:

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

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