Alessandro Bernardini

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 7

Top Topics

Safety Analysis

Software Product

Formal Verification

Top Venues

Microelectron. J.

Publications

Johanna Baehr, Alessandro Bernardini, Georg Sigl, Ulf Schlichtmann
Machine learning and structural characteristics for reverse engineering. Integr. 72 (2020)
Xu Liu, Alessandro Bernardini, Ulf Schlichtmann, Xing Zhou
A Compact Model of Negative Bias Temperature Instability Suitable for Gate-Level Circuit Simulation. ISQED (2019)
Johanna Baehr, Alessandro Bernardini, Georg Sigl, Ulf Schlichtmann
Machine learning and structural characteristics for reverse engineering. ASP-DAC (2019)
Alessandro Bernardini, Chunfeng Liu, Bing Li, Ulf Schlichtmann
Fault Localization in Programmable Microfluidic Devices. DATE (2019)
Alessandro Bernardini, Chunfeng Liu, Bing Li, Ulf Schlichtmann
Efficient spanning-tree-based test pattern generation for Programmable Microfluidic Devices. Microelectron. J. 79 (2018)
Alessandro Bernardini, Wolfgang Ecker, Ulf Schlichtmann
Where formal verification can help in functional safety analysis. ICCAD (2016)
Alessandro Bernardini, Wolfgang Ecker, Ulf Schlichtmann
Efficient handling of the fault space in functional safety analysis utilizing formal methods. VLSI-SoC (2016)