Fey, Gorschwin
88  results:
Search for persons X
?
1

GLRP: Guided by Layer-wise Relevance Propagation – Selectin..:

, In: 2023 12th International Conference on Modern Circuits and Systems Technologies (MOCAST),
 
?
2

Decision Trees for Analyzing Influences on the Accuracy of ..:

, In: 2022 IEEE 12th International Conference on Indoor Positioning and Indoor Navigation (IPIN),
 
?
3

On the Viability of Decision Trees for Learning Models of S..:

, In: 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC),
 
?
4

Explaining Cyber-Physical Systems Using Decision Trees:

, In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS),
 
?
5

Decision Tree Models of Continuous Systems:

, In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA),
Plambeck, Swantje ; Fey, Gorschwin - p. 1-8 , 2022
 
?
6

Revisiting Explicit Enumeration for Exact Synthesis:

, In: 2020 23rd Euromicro Conference on Digital System Design (DSD),
 
?
8

Syntax-Guided Enumeration of Temporal Properties:

, In: 2019 Forum for Specification and Design Languages (FDL),
Martino, Gianluca ; Fey, Gorschwin - p. 1-8 , 2019
 
?
 
?
 
?
13

Transaction-based online debug for NoC-based multiprocessor..:

Dehbashi, Mehdi ; Fey, Görschwin
Microprocessors and Microsystems.  39 (2015)  3 - p. 157-166 , 2015
 
?
14

In-circuit Error Detection with Software-based Error Correc..:

, In: Formal Modeling and Verification of Cyber-Physical Systems,
Aydos, Gökçe ; Fey, Görschwin - p. 272-274 , 2015
 
?
15

Formal Verification of Robustness:

, In: Formal Modeling and Verification of Cyber-Physical Systems,
Thole, Niels ; Fey, Görschwin - p. 305-307 , 2015
 
1-15