Design Understanding: From Logic to Specification*. - Görschwin Fey; Tara Ghasempouri; Swen Jacobs; Gianluca Martino; Jaan Raik; Heinz Riener (VLSI-SoC, 2018)

Syntax-Guided Enumeration of Temporal Properties. - Gianluca Martino; Görschwin Fey (FDL, 2019)

Revisiting Explicit Enumeration for Exact Synthesis. - Gianluca Martino; Heinz Riener; Görschwin Fey (DSD, 2020)

Fault Analysis of the Beam Acceleration Control System at the European XFEL using Data Mining. - Arne Grünhagen; Julien Branlard; Annika Eichler; Gianluca Martino; Görschwin Fey; Marina Tropmann-Frick (ATS, 2021)

Comparative Evaluation of Semi-Supervised Anomaly Detection Algorithms on High-Integrity Digital Systems. - Gianluca Martino; Arne Grünhagen; Julien Branlard; Annika Eichler; Görschwin Fey; Holger Schlarb (DSD, 2021)

Metrics for the Evaluation of Approximate Sequential Streaming Circuits. - Swantje Plambeck; Gianluca Martino; Görschwin Fey (DSD, 2021)

Runtime Monitoring of c-LTL Specifications on FPGAs Using HLS. - Gianluca Martino; Görschwin Fey (SMACD, 2022)

CNN Implementation and Analysis on Xilinx Versal ACAP at European XFEL. - Ahmad Al-Zoubi; Gianluca Martino; Fin Hendrik Bahnsen; Jun Zhu; Holger Schlarb; Görschwin Fey (SOCC, 2022)

Latency-Optimized Hardware Acceleration of Multilayer Perceptron Inference. - Ahmad Al-Zoubi; Benedikt Schaible; Gianluca Martino; Görschwin Fey (DSD, 2023)

Usage Driven Relevance Analysis for IP Cores. - Lutz Schammer; Gianluca Martino; Görschwin Fey (SOCC, 2024)

Detailed insight into approximate circuits with error-responsive information flow tracking. - Lutz Schammer; Gianluca Martino; Amir Najafi 001; Alberto García Ortiz; Görschwin Fey (it Inf. Technol., 2024)

DuRTL - Information Flow Analysis Tool for Register Transfer Level Hardware Designs. - Lutz Schammer; Gianluca Martino; Görschwin Fey (VLSID, 2025)

A Review of Techniques for Ageing Detection and Monitoring on Embedded Systems. - Leandro Lanzieri; Gianluca Martino; Görschwin Fey; Holger Schlarb; Thomas C. Schmidt; Matthias Wählisch (ACM Comput. Surv., 2025)