Formal Temporal Characterization of Register Vulnerability in Digital Circuits. - Damiano Zuccalà; Jean-Marc Daveau; Philippe Roche; Katell Morin-Allory (ISVLSI, 2023)

Formal Resilience Metric Characterization in Complex Digital Systems. - Damiano Zuccalà; Jean-Marc Daveau; Philippe Roche; Katell Morin-Allory (ETS, 2024)

Formal Fault Injection in Digital Blocks with Mined Assertions. - Damiano Zuccalà; Paul Breuil; Jean-Marc Daveau; Philippe Roche; Katell Morin-Allory (MEMOCODE, 2024)