Gianluca Martino, M. Sc.

Position

Research Assistant

Contact Details

Gianluca Martino

Tel.: +49 (0) 40 42878-3698
Fax: +49 (0) 40 42878-2798
Mail: gianluca.martino(at)tuhh.de

Building E, Room 3.023
Directions

Consulting Hours

On appointment


Publications

(2021).

  • 21-999 GBE+:2021 ATS (2021). Fault Analysis of the Beam Acceleration Control System at the European XFEL using Data Mining.

  • 21-999 MBE+:2021 DSD_EUROMICRO (2021). Comparative Evaluation of Semi-Supervised Anomaly Detection Algorithms on High-Integrity Digital Systems.

  • 21-999 PMF:2021 DSD_EUROMICRO (2021). Metrics for the Evaluation of Approximate Sequential Streaming Circuits.

(2020).

  • 20-999 MRF:2020 DSD (2020). Revisiting Explicit Enumeration for Exact Synthesis.

(2019).

  • 19-999 MF:2019 FDL (2019). Syntax-Guided Enumeration of Temporal Properties.

  • 19-999 MRF:2019 DUHDE (2019). Complete Specification Mining.

(2018).

  • 18-999 FGJMRR:2018 VLSI-SoC (2018). Design Understanding: From Logic to Specification.

  • 18-999 MRF:2018 IWLS (2018). Coverage-Guided CTL Property Enumeration for Understanding Models of Reactive Systems.

Eintrag 1-8 von 8