Search for persons
X
?
2023 12th International Conference on Modern Circuits and Systems Technologies (MOCAST) ,
1
GLRP: Guided by Layer-wise Relevance Propagation – Selectin..:
, In:
?
2022 IEEE 12th International Conference on Indoor Positioning and Indoor Navigation (IPIN) ,
2
Decision Trees for Analyzing Influences on the Accuracy of ..:
, In:
?
2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC) ,
3
On the Viability of Decision Trees for Learning Models of S..:
, In:
?
2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) ,
4
Explaining Cyber-Physical Systems Using Decision Trees:
, In:
?
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) ,
5
Decision Tree Models of Continuous Systems:
, In:
?
2020 23rd Euromicro Conference on Digital System Design (DSD) ,
6
Revisiting Explicit Enumeration for Exact Synthesis:
, In:
?
?
2019 Forum for Specification and Design Languages (FDL) ,
8
Syntax-Guided Enumeration of Temporal Properties:
, In:
?
Internet der Dinge; Informatik aktuell ,
11
Umgebung für automatisierte Tests von Dateisystemen auf NAN..:
, In:
?
Formal Modeling and Verification of Cyber-Physical Systems ,
14
In-circuit Error Detection with Software-based Error Correc..:
, In:
?
Formal Modeling and Verification of Cyber-Physical Systems ,
15