Foto von Alessandro Bernardini

M.Sc. Alessandro Bernardini

Technische Universität München

Lehrstuhl für Entwurfsautomatisierung (Prof. Schlichtmann)

Postadresse

Postal:
Arcisstr. 21
80333 München

Publications

Alessandro Bernardini, Chunfeng Liu, Bing Li, Ulf Schlichtmann
Fault Localization in Programmable Microfluidic Devices
In: Design, Automation and Test in Europe (DATE)
March 2019

Xu Liu, Xing Zhou, Alessandro Bernardini, Ulf Schlichtmann
A Compact Model of Negative Bias Temperature Instability Suitable for Gate-Level Circuit Simulation
In: IEEE International Symposium on Quality Electronic Design (ISQED)
March 2019
accepted by

Alessandro Bernardini, Chunfeng Liu, Bing Li, Ulf Schlichtmann
Efficient spanning-tree-based test pattern generation for Programmable Microfluidic Devices
Microelectronics Journal
September 2018

Alessandro Bernardini, Wolfgang Ecker, Ulf Schlichtmann
Where Formal Verification Can Help in Functional Safety Analysis
In: Proceedings of the 35th International Conference on Computer-Aided Design
November 2016

Alessandro Bernardini, Wolfgang Ecker, Ulf Schlichtmann
Efficient handling of the fault space in functional safety analysis utilizing formal methods
In: 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
September 2016

Alessandro Bernardini, Ulf Schlichtmann
Symbolic Fault Modeling and Model Counting for the Identification of Critical Gates in Digital Circuits
In: ZuE 2015; 8. GMM/ITG/GI-Symposium Reliability by Design; Proceedings of
September 2015