Where formal verification can help in functional safety analysis. - Alessandro Bernardini; Wolfgang Ecker; Ulf Schlichtmann (ICCAD, 2016)

Efficient handling of the fault space in functional safety analysis utilizing formal methods. - Alessandro Bernardini; Wolfgang Ecker; Ulf Schlichtmann (VLSI-SoC, 2016)

Efficient spanning-tree-based test pattern generation for Programmable Microfluidic Devices. - Alessandro Bernardini; Chunfeng Liu; Bing Li 005; Ulf Schlichtmann (Microelectron. J., 2018)

Fault Localization in Programmable Microfluidic Devices. - Alessandro Bernardini; Chunfeng Liu; Bing Li 005; Ulf Schlichtmann (DATE, 2019)

A Compact Model of Negative Bias Temperature Instability Suitable for Gate-Level Circuit Simulation. - Xu Liu; Alessandro Bernardini; Ulf Schlichtmann; Xing Zhou (ISQED, 2019)

Machine learning and structural characteristics for reverse engineering. - Johanna Baehr 001; Alessandro Bernardini; Georg Sigl; Ulf Schlichtmann (Integr., 2020)