Gianluca Martino

LBNL Logo

Physical Sciences, Accelerator Technology & Applied Physics Division
Lawrence Berkeley National Laboratory
1 Cyclotron Road
Berkeley, CA 94720, USA

Publications

  • Mohammad Alkhiyami, Gianluca Martino, Goerschwin Fey, Automated Self-Explanation of Expected versus Perceived Behavior for Interacting Digital Systems, In Design, Automation and Test in Europe Conference (DATE), Dresden, Germany, 2026.
  • Lutz Schammer, Gianluca Martino, Goerschwin Fey, DuRTL-Information Flow Analysis Tool for Register Transfer Level Hardware Designs, In International Conference on VLSI Design (VLSID), Bengaluru, India, 2025.
  • Gianluca Martino, Alberto Garcia-Ortiz, Lutz Schammer, Goerschwin Fey, Grading Defects: Evaluating Approximate Circuits for Error-Tolerant Systems, In IEEE Nordic Circuits and Systems Conference (NorCAS), Riga, Latvia, 2025.
  • Lutz Schammer, Gianluca Martino, Goerschwin Fey, Information Flow Analysis–Understanding the Trade-offs Between Static and Dynamic Analysis, In Methods and Description Languages for Modeling and Verification of Circuits and Systems (MBMV), Rostock, Germany, 2025.
  • Lutz Schammer, Gianluca Martino, Amir Najafi, Alberto Garcia-Ortiz, Goerschwin Fey, Detailed Insight into Approximate Circuits with Error-Responsive Information Flow Tracking, In it - Information Technology, De Gruyter, 2025.
  • Mohammad Alkhiyami, Gianluca Martino, Goerschwin Fey, Explaining Mismatches in Expected versus Perceived Behavior for Interacting Digital Systems, In ExCoS, Glasgow, Scotland, 2025.
  • Lutz Schammer, Gianluca Martino, Goerschwin Fey, Tag-based Hardware Information Flow Tracking, In ITG / GMM / GI Workshop Test Methods and Reliability of Circuits and Systems (TUZ), Darmstadt, Germany, 2024.
  • Lutz Schammer, Gianluca Martino, Goerschwin Fey, Usage Driven Relevance Analysis for IP Cores, In International System-on-Chip Conference (SOCC), Dresden, Germany, 2024.
  • Gianluca Martino, Towards a Fault Detection Infrastructure for the European XFEL, In PhD Thesis, Deutsche Nationalbibliothek, 2024.
  • Lutz Schammer, Gianluca Martino, Amir Najafi, Alberto Garcia-Ortiz, Goerschwin Fey, Detailed Insight into Approximate Circuits with Error-Responsive Information Flow Tracking, In it - Information Technology, De Gruyter, 2024.
  • Leandro Lanzieri, Gianluca Martino, Goerschwin Fey, Holger Schlarb, Thomas C. Schmidt, Matthias Wählisch, A Review of Techniques for Ageing Detection and Monitoring on Embedded Systems, In ACM Computing Surveys, 2024. (Link)
  • Ahmad Al-Zoubi, Benedikt Schaible, Gianluca Martino, Görschwin Fey, Latency-optimized Hardware Acceleration of Multilayer Perceptron Inference, In Euromicro Conference Series on Digital System Design (DSD), Durres, Albania, 2023. (Link)
  • Ahmad Al-Zoubi, Gianluca Martino, Fin Bahnsen, Jun Zhu, Görschwin Fey, Holger Schlarb, CNN Implementation and Analysis on Xilinx Versal ACAP at European XFEL, In International System-On-Chip Conference (SOCC), Belfast, United Kingdom, 2022. (Link)
  • Gianluca Martino, Görschwin Fey, Runtime Monitoring of c-LTL Specifications on FPGAs using HLS, In International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), Villasimius, Italy, 2022. (Link)
  • Gianluca Martino, Andrea Bellandi, Julien Branlard, Annika Eichler, Holger Schlarb, Goerschwin Fey, Lawrence Doolittle, Sebastian Aderhold, Andrew Benwell, Daniel Gonnella, Sonya Hoobler, Janice Nelson, Ryan Douglas Porter, Alessandro Ratti, Lisa Zacarias, Anomaly Detection Based Quench Detection System for CW Operation of SRF Cavities, In International Linear Accelerator Conference (LINAC), Liverpool, United Kingdom, 2022.
  • Gianluca Martino, Arne Grünhagen, Julien Branlard, Annika Eichler, Görschwin Fey, Holger Schlarb, Comparative Evaluation of Semi-Supervised Anomaly Detection Algorithms on High-Integrity Digital Systems, In Euromicro Conference on Digital System Design (DSD), Palermo, Italy, 2021. (Link)
  • Swantje Plambeck, Gianluca Martino, Görschwin Fey, Metrics for the Evaluation of Approximate Sequential Streaming Circuits, In Euromicro Conference on Digital System Design (DSD), Palermo, Italy, 2021. (Link)
  • Arne Grünhagen, Julien Branlard, Annika Eichler, Gianluca Martino, Görschwin Fey, Marina Tropmann-Frick, Fault Analysis of the Beam Acceleration Control System at the European XFEL using Data Mining, In Asian Test Symposium (ATS), Ehime, Japan, 2021. (Link)
  • Gianluca Martino, Heinz Riener, Görschwin Fey, Revisiting Explicit Enumeration for Exact Synthesis, In Euromicro Conference on Digital System Design (DSD), Portorož, Slovenia, 2020. (Link)
  • Gianluca Martino, Görschwin Fey, Syntax-Guided Enumeration of Temporal Properties, In Forum for Specification and Design Languages (FDL), Southampton, United Kingdom, 2019. (Link)
  • Gianluca Martino, Heinz Riener, Görschwin Fey, Complete Specification Mining, In Workshop on Design Automation for Understanding Hardware Designs (DUHDE), Florence, Italy, 2019.
  • Görschwin Fey, Tara Ghasempouri, Swen Jacobs, Gianluca Martino, Jaan Raik, Heinz Riener, Design Understanding: From Logic to Specification (special session), In IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), Verona, Italy, 2018. (Link)
  • Gianluca Martino, Heinz Riener, Görschwin Fey, Coverage-Guided CTL Property Enumeration for Understanding Models of Reactive Systems, In International Workshop on Logic & Synthesis (IWLS), San Francisco, CA, USA, 2018.