Damiano Zuccalà

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Formal Languages

Temporal Analysis

Digital Circuits

Top Venues

Publications

Damiano Zuccalà, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory
Formal Resilience Metric Characterization in Complex Digital Systems. ETS (2024)
Damiano Zuccalà, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory
Formal Temporal Characterization of Register Vulnerability in Digital Circuits. ISVLSI (2023)