2025
Jadhav S,
Falk H.
Compiler-level DMA-aware multi-objective dynamic SPM allocation..
The International Journal of Time-Critical Computing Systems (Real-Time Systems)..
2025 Apr.;
[DOI]
2024
Grünhagen A,
Eichler A,
Tropmann-Frick M,
Fey G.
Data-Driven Fault Localization in Cyber-Physical Systems Using Dependency Graphs and Anomaly Detection.. In:
International Conference on Information Modelling and Knowledge Bases (EJC).
2024.
Krumnow A,
Plambeck S,
Fey G.
Using Forest Structures for Passive Automata Learning.. In:
In Oliver Niggemann et al. (editors) (Eds.), editors.
Machine Learning for Cyber-Physical Systems.
Springer International Publishing;
2024.
[DOI]
Schammer L,
Martino G,
Fey G.
Tag-based Hardware Information Flow Tracking.. In:
GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ).
2024.
Schmidt M,
Plambeck S,
Fey G.
Towards Robustness Evaluation of Models for Cyber-Physical Systems.. In:
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
2024.
Plambeck S,
Bracht A,
Hranisavljevic N,
Fey G.
FaMoS - Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees.. In:
ACM International Conference on Hybrid Systems: Computation and Control (HSCC).
2024.
Fischer T,
Falk H.
Shared Cache Analysis under Preemptive Scheduling.. In:
In Proceedings of Design, Automation and Test in Europe (DATE).
2024 Mar..
Fischer T,
Falk H.
Towards Analysing Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies..
ACM Transactions on Embedded Computing Systems (TECS)..
2024 Sep.;
[DOI]
Fischer T,
Falk H.
Timing-aware analysis of shared cache interference for non-preemptive scheduling..
The International Journal of Time-Critical Computing Systems (Real-Time Systems)..
2024 Sep.;
[DOI]
2023
Abdelaziz KGA,
Görgen R,
Fey G.
FINaL: Driving High-Level Fault Injection Campaigns with Natural Language.. In:
IEEE European Test Symposium (ETS).
2023.
Al-Zoubi A,
Schaible B,
Martino G,
Fey G.
Latency-optimized Hardware Acceleration of Multilayer Perceptron Inference.. In:
EUROMICRO Symposium on Digital System Design (DSD).
2023.
[DOI]
Al-Zoubi A,
Fey G.
Low-Latency Real-Time Inference for Multilayer Perceptrons on FPGAs.. In:
In Drechsler, Rolf and Huhn, Sebastian (editors) (Eds.), editors.
Advanced Boolean Techniques.
Springer International Publishing:;
2023.
p. 123-133.
[DOI]
Grünhagen A,
Eichler A,
Tropmann-Frick M,
Fey G.
Condition Monitoring and Fault Detection of a Laser Oscillator Feedback System.. In:
International Conference on Information Modelling and Knowledge Bases (EJC).
2023.
Grünhagen A,
Schütte M,
Eichler A,
Tropmann-Frick M,
Fey G.
Enhancing Data Acquisition and Fault Analysis for Large-Scale Facilities: A Case Study on the Laser-Based Synchronization System at the European X-Ray Free-Electron Laser [Work in progress].. In:
GI Workshop on Learning, Knowledge, Data, Analytics (LWDA).
2023.
Benjamin Rouxel SW,
Zendra O.
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.. In:
In Proceedings of Design, Automation and Test in Europe (DATE).
2023 Apr..
Berger BJ,
Fey G.
Towards: Threat Modeling in System Design.. In:
GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ).
2023.
Bahnsen FH,
Berger BJ,
Fey G.
GLRP: Guided by Layer-wise Relevance Propagation - Selecting Crucial Neurons in Artificial Neural Networks.. In:
International Conference on Circuits and Systems Technologies (MOCAST).
2023.
[DOI]
Bahnsen FH,
Berger BJ,
Fey G.
DoCNeL: Detection of Crucial Neurons Guided by Layer-wise Relevance Propagation.. In:
GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ).
2023.
Grünhagen A,
Tropmann-Frick M,
Eichler A,
Fey G.
Predictive Maintenance for the Optical Synchronization System of the European XFEL: A Systematic Literature Survey.. In:
Data Engineering for Data Science (DE4DS).
2023.
Abdelmaksoud H,
Hammadeh ZAH,
Fey G,
Lüdtke D.
DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation.. In:
Design, Automation and Test in Europe (DATE).
2023.
Muts K,
Falk H.
Clustering Solutions of Multiobjective Function Inlining Problem.. In:
In Proceedings of the 21st International Workshop on Worst-Case Execution Time Analysis (WCET).
Vienna / Austria:
2023 Jul..
p. 4:1-2:12.
[DOI]
Lanzieri L,
Kietzmann P,
Fey G,
Schlarb H,
Schmidt TC.
Ageing Analysis of Embedded SRAM on a Large-Scale Testbed Using Machine Learning.. In:
EUROMICRO Symposium on Digital System Design (DSD).
2023.
[DOI]
Knitt M,
Plambeck S,
Wieck JC,
Kohlisch J,
Balduin S,
Veith EM,
Schyga J,
Hinckeldeyn J,
Fey G,
Kreutzfeldt J.
Towards the Automatic Generation of Models for Prediction, Monitoring, and Testing of Cyber-Physical Systems.. In:
IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
2023.
Jadhav S,
Falk H.
Towards Multi-Objective Dynamic SPM Allocation.. In:
In Proceedings of the 21st International Workshop on Worst-Case Execution Time Analysis (WCET).
Vienna / Austria:
2023 Jul..
p. 6:1-6:12.
[DOI]
Jadhav S,
Falk H.
Efficient and Effective Multi-Objective Optimization for Real-Time Multi-Task Systems.. In:
In Proceedings of the 21st International Workshop on Worst-Case Execution Time Analysis (WCET).
Vienna / Austria:
2023 Jul..
p. 5:1-5:12.
[DOI]
Fischer T,
Falk H.
Analysis of Shared Cache Interference in Multi-Core Systems using Event-Arrival Curves.. In:
In Proceedings of the 31st International Conference on Real-Time Networks and Systems (RTNS).
Dortmund / Germany:
2023 Jun..
p. 23-33.
[DOI]
Fischer T,
Falk H.
WCET Analysis of Shared Caches in Multi-Core Architectures using Event-Arrival Curves.. In:
In Proceedings of Design, Automation and Test in Europe (DATE).
2023 Apr..
2022
Al-Zoubi A,
Martino G,
Bahnsen FH,
Zhu J,
Schlarb H,
Fey G.
CNN Implementation and Analysis on Xilinx Versal ACAP at European XFEL.. In:
IEEE International System-on-Chip Conference (SOCC).
2022.
Al-Zoubi A,
Fey G.
Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs.. In:
Int'l Workshop on Boolean Problems (IWSBP).
2022.
Francois E,
Gallaun D,
Sitzmann D,
Bahnsen FH.
Das Prüfungssystem YAPS als E-Assessment-Standard an der TUHH.. In:
E-Prüfungs-Symposium (ePS).
2022.
Bahnsen FH,
Sakhri M,
Dillenberger J.
Kontaktlos Prüfen: Hands on Yet Another Prüfungs System (YAPS).. In:
E-Prüfungs-Symposium (ePS).
2022.
Bahnsen FH,
Sakhri M,
Dillenberger J,
Sitzmann D.
Skalierbares E-Assessment mit Docker und Ansible.. In:
E-Prüfungs-Symposium (ePS).
2022.
Fin Hendrik Bahnsen JD.
Kontaktlos Prüfen: Hands on Yet Another Prüfungs System (YAPS).. In:
E-Prüfungs-Symposium (ePS).
2022.
Martino G,
Bellandi A,
Eichler A,
Branlard J,
Schlarb H,
Doolittle L,
Aderhold S,
Hoobler S,
Nelson J,
Porter RD,
Zacarias L,
Benwell A,
Gonnella D,
Ratti A,
Fey G.
Anomaly Detection Based Quench Detection System for CW Operation of SRF Cavities.. In:
International Linear Accelerator Conference (LINCAC).
2022.
Martino G,
Zoubi AA,
Branlard J,
Schlarb H,
Fey G.
FPGA-based hardware acceleration of machine learning algorithms for particle accelerators.. In:
Low-level RF Workshop.
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.
TODO
TODO
TODO
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.
Jadhav S,
Falk H.
Approximating WCET and Energy Consumption for Fast Multi-Objective Memory Allocation.. In:
In Proceedings of the 30th International Conference on Real-Time Networks and Systems (RTNS).
Paris / France:
2022 Jun..
p. 162-172.
[DOI]
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.
Oehlert D.
Worst Case Execution Time Oriented Code Optimization of Hard Real-Time Multicore Systems.
[PhD Thesis].
Hamburg / Germany:
Hamburg University of Technology (TUHH);
2021 Sep..
[DOI]
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.
Muts K,
Falk H.
Predicting Objectives on a Reduced Search Space of Multiobjective Function Inlining.. In:
In Proceedings of the 24th International Workshop on Software & Compilers for Embedded Systems (SCOPES).
2021 Nov..
[DOI]
Muts K,
Falk H.
Predicting Worst-Case Execution Times During Multi-Criterial Function Inlining.. In:
In Proceedings of the 7th International Conference on Machine Learning, Optimization, and Data Science (LOD).
2021 Oct..
[DOI]
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
Luppold A.
Schedulability-Oriented Code Optimization of Hard Real-Time Multitasking Systems.
[PhD Thesis].
Hamburg / Germany:
Hamburg University of Technology (TUHH);
2020 Jul..
[DOI]
Arno Luppold DO,
Falk H.
Compiling for the Worst Case: Memory Allocation for Multi-task and Multi-core Hard Real-time Systems..
ACM Transactions on Embedded Computing Systems (TECS)..
2020 Mar.;
19.((2),):
[DOI]
Dominic Oehlert EUW,
Falk H.
Work-In-Progress: Fine-Grained On-Chip Energy Measurement of a Real-Time Multi-Core Processor.. In:
In Brief Presentations of the 41st International IEEE Real-Time Systems Symposium (RTSS).
2020 Dec..
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]
Heiko Falk NP,
Roth M.
Compilation for Real-Time Systems a Decade After PREDATOR.. In:
In J.-J. Chen (Eds.), editors.
A Journey of Embedded and Cyber-Physical Systems.
Springer;
2020 Aug..
p. 151-169.
[DOI]
Zimmermann K.
On Krohn-Rhodes Theory for Semiautomata..
arXiv..
2020 Nov.;
Zimmermann K.
Berechenbarkeit..
Springer;
2020 Nov..
Zimmermann K.
Computability Theory..
TuBib;
2020 Jul..
[DOI]
Muts K,
Falk H.
Multi-Criteria Function Inlining for Hard Real-Time Systems.. In:
In Proceedings of the 28th International Conference on Real-Time Networks and Systems (RTNS).
Paris / France:
2020 Jun..
p. 56-66.
[DOI]
Mehwish Saleemi MC,
Zimmermann K.
Dynamic Programming in Topological Spaces..
arXiv..
2020 Nov.;
Cakir M,
Zimmermann K.
Stochastic Automata over Monoids..
arXiv..
2020 Jan.;
Cakir M,
Zimmermann K.
On the Decomposition of Generalized Semiautomata..
arXiv..
2020 May;
2019
Dominic Oehlert AL,
Falk H.
Favorable Adjustment of Periods for Reduced Hyperperiods in Real-Time Systems.. In:
In Proceedings of the 22nd International Workshop on Software & Compilers for Embedded Systems (SCOPES).
St. Goar / Germany:
2019 May.
p. 82-85.
[DOI]
Dominic Oehlert SS,
Falk H.
Code-Inherent Traffic Shaping for Hard Real-Time Systems.. In:
In Proceedings of the International Conference on Embedded Software (EMSOFT).
Ney York City / USA:
2019 Oct..
[DOI]
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.
Fey G,
Drechsler R.
Self-Explaining Digital Systems - Some Technical Steps.. In:
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).
2019.
TODO
Zimmermann K.
Computability Theory..
9. ed.
Hamburg University of Technology;
2019 Jul..
[DOI]
Zimmermann K.
Curves, Cryptosystems and Quantum Computing..
1. ed.
Hamburg University of Technology;
2019 Jul..
[DOI]
Kateryna Muts AL,
Falk H.
Compiler-Based Code Compression for Hard Real-Time Systems.. In:
In Proceedings of the 22nd International Workshop on Software & Compilers for Embedded Systems (SCOPES).
St. Goar / Germany:
2019 May.
p. 72-81.
[DOI]
Leppert R,
Zimmermann K.
Inference in Graded Bayesian Networks..
arXiv..
2019 Jan.;
Bloem R,
Fey G,
Greif F,
Könighofer R,
Pill I,
Riener H,
Röck F.
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications..
Formal Methods in System Design (FMSD)..
2019;
[DOI]
Jadhav S,
Falk H.
Multi-Objective Optimization for the Compiler of Real-Time Systems based on Flower Pollination Algorithm.. In:
In Proceedings of the 22nd International Workshop on Software & Compilers for Embedded Systems (SCOPES).
St. Goar / Germany:
2019 May.
p. 45-48.
[DOI]
Shashank Jadhav CB,
Barwell A.
Reasoning about non-functional properties using compiler intrinsic function annotations.. In:
In Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC).
Toulouse / France:
2019 Nov..
p. 25-28.
[DOI]
Ghasempouri T,
Malburg J,
Danese A,
Pravadelli G,
Fey G,
Raik J.
Engineering of an Effective Automatic Dynamic Assertion Mining Platform.. In:
IEEE/IFIP Int'l Conference on VLSI and System-on-Chip (VLSI-SoC).
2019.
[DOI]
Ghasempouri T,
Malburg J,
Danese A,
Pravadelli G,
Fey G,
Raik J.
Engineering of an Effective Automatic Assertion-based Verification Platform.. In:
Workshop on Design Automation for Understanding Hardware Designs (DUHDe).
2019.
Knapps V,
Zimmermann K.
Distributed Monitoring of Topological Events via Homology..
arXiv..
2019 Jan.;
2018
Kateryna Muts AL,
Falk H.
Multi-Criteria Compiler-Based Optimization of Hard Real-Time Systems.. In:
In Proceedings of the 21st International Workshop on Software & Compilers for Embedded Systems (SCOPES).
St. Goar / Germany:
2018 May.
p. 54-57.
[DOI]
Mikko Roth AL,
Falk H.
Measuring and Modeling Energy Consumption of Embedded Systems for Optimizing Compilers.. In:
In Proceedings of the 21st International Workshop on Software & Compilers for Embedded Systems (SCOPES).
St. Goar / Germany:
2018 May.
p. 86-89.
[DOI]
Tibebu AT,
Fey G.
Augmenting All Solutions SAT Solving for Circuits with Structural Information.. In:
IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
2018.
Arno Luppold DO,
Falk H.
Evaluating the Performance of Solvers for Integer-Linear Programming..
Hamburg / Germany:
2018 Nov..
[DOI]
Claire Pagetti DO,
Luppold A.
Automated generation of time-predictable executables on multi-core.. In:
In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS).
Poitiers / France:
2018 Oct..
p. 104-113.
[DOI]
Oehlert D,
Falk H.
WCET Analysis of Automotive Buses using WCC.. In:
In Proceedings of the DATE Workshop on New Platforms for Future Cars.
Dresden / Germany:
2018 Mar..
Dominic Oehlert AL,
Falk H.
Compilation for Real-Time Systems - An Overview of the WCET-Aware C Compiler WCC.. In:
In Proceedings of the 9th International Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems (WATERS).
Barcelona / Spain:
2018 Jul..
Dominic Oehlert AL,
Falk H.
Mitigating Data Cache Aging through Compiler-Driven Memory Allocation.. In:
In Proceedings of the 21st International Workshop on Software & Compilers for Embedded Systems (SCOPES).
St. Goar / Germany:
2018 May.
p. 58-61.
[DOI]