Fin Hendrik Bahnsen, M. Sc. in Physik

Research Interests

Artificial Intelligence, Machine Learning, Robust and Reliable AI, Formal Verification

Position

Research Assistant

Contact Details

Fin Hendrik Bahnsen

Tel.: +49 (0) 40 42878-3699
Fax: +49 (0) 40 42878-2798
Mail: fin.bahnsen(at)tuhh.de

Building E, Room 2.089
Directions

Consulting Hours

On appointment

Publications

2020

  • Fin Hendrik Bahnsen and Vanessa Klebe and Goerschwin Fey.
    Emulation of Neural Networks under HW Faults.
    GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ), 2020.


2019

  • Fin Hendrik Bahnsen and Goerschwin Fey.
    Local Monitoring of Embedded Applications and Devices using Artificial Neural Networks.
    EUROMICRO Symposium on Digital System Design (DSD), pages 485-491, 2019.
    [doi: 10.1109/DSD.2019.00076]

  • Fin Hendrik Bahnsen and Goerschwin Fey.
    Approximation of Neural Networks for Verification.
    ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2019.


  • Fin Hendrik Bahnsen and Goerschwin Fey.
    Neural Networks for Monitoring Embedded Devices.
    GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ), 2019.