8 Einträge gefunden

1. Runtime Monitoring of c-LTL Specifications on FPGAs Using HLS

   1. Martino, Gianluca
   2. Fey, Görschwin

   2022 - TUHH Open Research
2. CNN Implementation and Analysis on Xilinx Versal ACAP at European XFEL

   1. Al-Zoubi, Ahmad
   2. Martino, Gianluca
   3. Bahnsen, Fin H.
   4. Zhu, Jun
   5. Schlarb, Holger
   6. Fey, Görschwin

   2022 - TUHH Open Research
3. Comparative evaluation of semi-supervised anomaly detection algorithms on high-integrity digital systems

   1. Martino, Gianluca
   2. Grünhagen, Arne
   3. Branlard, Julien
   4. Eichler, Annika
   5. Fey, Görschwin
   6. Schlarb, Holger

   2021 - TUHH Open Research
4. Metrics for the evaluation of approximate sequential streaming circuits

   1. Plambeck, Swantje
   2. Martino, Gianluca
   3. Fey, Görschwin

   2021 - TUHH Open Research
5. Fault Analysis of the Beam Acceleration Control System at the European XFEL using Data Mining

   1. Grünhagen, Arne
   2. Branlard, Julien
   3. Eichler, Annika
   4. Martino, Gianluca
   5. Fey, Görschwin
   6. Tropmann-Frick, Marina

   2021 - TUHH Open Research
6. Revisiting Explicit Enumeration for Exact Synthesis

   1. Martino, Gianluca
   2. Riener, Heinz
   3. Fey, Görschwin

   2020 - TUHH Open Research
7. Syntax-guided enumeration of temporal properties

   1. Martino, Gianluca
   2. Fey, Görschwin

   2019 - TUHH Open Research
8. Design Understanding: From Logic to Specification*

   1. Fey, Görschwin
   2. Ghasempouri, Tara
   3. Jacobs, Swen
   4. Martino, Gianluca
   5. Raik, Jaan
   6. Riener, Heinz

   2018 - TUHH Open Research