9 Einträge gefunden

1. A review of techniques for ageing detection and monitoring on embedded systems

   1. Lanzieri Rodriguez, Leandro
   2. Martino, Gianluca
   3. Fey, Goerschwin
   4. Schlarb, Holger
   5. Schmidt, Thomas C.
   6. Wählisch, Matthias

   2023 - ReposIt
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. Runtime Monitoring of c-LTL Specifications on FPGAs Using HLS

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

   2022 - 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. 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
7. Revisiting Explicit Enumeration for Exact Synthesis

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

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

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

   2019 - TUHH Open Research
9. 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