Becker, Nils
35  results:
Search for persons X
?
3

The Axiom Profiler: Understanding and Debugging SMT Quantif..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
 
?
4

SOVEREIGN - Towards a Holistic Approach to Critical Infrast..:

, In: Proceedings of the 19th International Conference on Availability, Reliability and Security,
 
?
6

Towards Unsupervised SEM Image Segmentation for IC Layout E..:

, In: Proceedings of the 2023 Workshop on Attacks and Solutions in Hardware Security,
Rothaug, Nils ; Klix, Simon ; Auth, Nicole... - p. 123-128 , 2023
 
?
7

LDACS Flight Trials: Demonstration of ATS-B2, IPS, and Seam..:

, In: 2023 Integrated Communication, Navigation and Surveillance Conference (ICNS),
 
?
8

Network Emulation in Large-Scale Virtual Edge Testbeds: A N..:

, In: 2022 IEEE International Conference on Cloud Engineering (IC2E),
 
?
9

Blickverhalten beim Lernen und Problemlösen mit Graphen – E..:

, In: Eye-Tracking in der Mathematik- und Naturwissenschaftsdidaktik,
Küchemann, Stefan ; Cullmann, Nils ; Kovac, Sarah... - p. 177-192 , 2022
 
?
10

Coupled Pendulums on a Clothesline:

, In: Smartphones as Mobile Minilabs in Physics,
 
?
13

Strengthening Deterministic Policies for POMDPs:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Winterer, Leonore ; Wimmer, Ralf ; Jansen, Nils. - p. 115-132 , 2020
 
?
14

Performance Portable FPGA Design:

, In: Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays,
Voss, Nils ; Becker, Tobias ; Tilbury, Simon... - p. 324 ff. , 2020
 
?
15

Breaking the Lightweight Secure PUF: Understanding the Rela..:

, In: Smart Card Research and Advanced Applications; Lecture Notes in Computer Science,
Wisiol, Nils ; Becker, Georg T. ; Margraf, Marian... - p. 40-54 , 2020
 
1-15