2022
Martino G,
Fey G.
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).
2022.
Fey G,
Fränzle M,
Drechsler R.
Self-explaination in Systems of Systems.. In:
International Workshop on Requirements Engineering for Explainable Systems (RE4ES).
2022.
Schyga J,
Plambeck S,
Hinckeldeyn J,
Fey G,
Kreutzfeldt J.
Decision Trees for Analyzing Influences on the Accuracy of Indoor Localization Systems.. In:
Indoor Positioning and Indoor Navigation (IPIN).
2022.
Schammer L,
Runge J,
Klimach P,
Fey G.
Design Understanding: Identifying Instruction Pipelines in Hardware Designs.. In:
International Conference on Circuits and Systems Technologies (MOCAST).
2022.
Plambeck S,
Fey G,
Schyga J,
Hinckeldeyn J,
Kreutzfeldt J.
Explaining Cyber-Physical Systems Using Decision Trees.. In:
Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS).
2022.
Plambeck S,
Schammer L,
Fey G.
On the Viability of Decision Trees for Learning Models of Systems.. In:
ASP Design Automation Conference (ASPDAC).
2022.
2021
Al-Zoubi A,
Fey G,
Tatas K.
Resource-Aware Optimization of FPGA OpenCL Kernels.. In:
IEEE International Conference on Engineering and Emerging Technologies (ICEET).
2021.
Grünhagen A,
Branlard J,
Eichler A,
Martino G,
Fey G,
Tropmann-Frick M.
Fault Analysis of the Beam Acceleration Control System at the European XFEL using Data Mining.. In:
Asian Test Symposium (ATS).
2021.
Bahnsen FH,
Fey G.
YAPS - Your Open Examination System for Activating and emPowering Students.. In:
IEEE International Conference on Computer Science and Education (ICCSE).
2021.
Bahnsen FH,
Kaiser J,
Fey G.
Designing Recurrent Neural Networks for Monitoring Embedded Devices.. In:
IEEE European Test Symposium (ETS).
2021.
Bahnsen FH,
Klebe V,
Fey G.
Effect Analysis of Low-Level Hardware Faults on Neural Networks using Emulated Inference.. In:
International Conference on Circuits and Systems Technologies (MOCAST).
2021.
Martino G,
Branlard J,
Eichler A,
Fey G,
Schlarb H.
Comparative Evaluation of Semi-Supervised Anomaly Detection Algorithms on High-Integrity Digital Systems.. In:
EUROMICRO Symposium on Digital System Design (DSD).
2021.
Schammer L,
Plambeck S,
Bahnsen FH,
Fey G.
Learning Models of Cyber-Physical Systems using Automata Learning.. In:
Software Engineering for Industrial Cyber-Physical Systems (SE4ICPS).
2021.
Plambeck S,
Martino G,
Fey G.
Metrics for the Evaluation of Approximate Sequential Streaming Circuits.. In:
EUROMICRO Symposium on Digital System Design (DSD).
2021.
Plambeck S,
Schyga J,
Hinckeldeyn J,
Kreutzfeldt J,
Fey G.
Automata Learning for Automated Test Generation of Real Time Localization Systems.. In:
Workshop on Machine Learning in Control (Learning in Control, LEAC).
2021.
Plambeck S,
Schammer L,
Fey G.
Extended Abstract: Viability of Decision Trees for Learning Models of Systems.. In:
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
2021.
2020
Bahnsen FH,
Klebe V,
Fey G.
Emulation of Neural Networks under HW Faults.. In:
GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ).
2020.
Gianluca Martino HR,
Fey G.
Revisiting Explicit Enumeration for Exact Synthesis.. In:
In Proceedings of Euromicro Conference on Digital System Design (DSD).
Portorož / Slovenia:
2020.
[DOI]
2019
Bahnsen FH,
Fey G.
Approximation of Neural Networks for Verification.. In:
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
2019.
Bahnsen FH,
Fey G.
Local Monitoring of Embedded Applications and Devices using Artificial Neural Networks.. In:
EUROMICRO Symposium on Digital System Design (DSD).
2019.
p. 485-491.
[DOI]
Bahnsen FH,
Fey G.
Neural Networks for Monitoring Embedded Devices.. In:
GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ).
2019.
Martino G,
Fey G.
Syntax-Guided Enumeration of Temporal Properties.. In:
In Proceedings of Forum on Specification and Design Languages (FDL).
Southampton / United Kingdom:
2019.
[DOI]
Gianluca Martino HR,
Fey G.
Complete Specification Mining.. In:
In Proceedings of Workshop on Design Automation for Understanding Hardware Designs (DUHDE).
Florence / Italy:
2019 Mar..
Fey G,
Garcia-Ortiz A.
Symbolic Circuit Analysis under an Arc Based Timing Model.. In:
IEEE European Test Symposium (ETS).
2019.
[DOI]
Fey G,
Drechsler R.
Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness.. In:
In Rolf Drechsler and Mathias Soeken (Eds.), editors.
Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems.
Springer;
2019.