Kunz, Wolfgang
799  results:
Search for persons X
?
1

An Automated Exhaustive Fault Analysis Technique guided by ..:

, In: 2024 25th International Symposium on Quality Electronic Design (ISQED),
Kaja, Endri ; Gerlin, Nicolas ; Zhao, Bihan... - p. 1-8 , 2024
 
?
2

Data-Oblivious and Performant: On Designing Security-Consci..:

, In: 2024 IEEE 25th Latin American Test Symposium (LATS),
 
?
3

A Golden-Free Formal Method for Trojan Detection in Non-Int..:

, In: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE),
 
?
4

A Scalable Formal Verification Methodology for Data-Oblivio..:

Deutschmann, Lucas ; Müller, Johannes ; Fadiheh, Mohammad R...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  , 2024
 
?
10

Secure-by-Construction Design Methodology for CPUs: Impleme..:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),
 
?
12

Von der sozialistischen Moderne zur Leipzig-Charta:

, In: Stadtplanung und Politik / herausgegeben von Johann Jessen und Stephan Reiß-Schmidt
Gleichmann, Iris ; Kirchner, Jochen ; Kunz, Wolfgang.... (2022)  - p. 332-342
Copies:  :TB Technik h 157/962
 
?
15

Fast and Accurate Model-Driven FPGA-based System-Level Faul..:

, In: 2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC),
Kaja, Endri ; Gerlin, Nicolas ; Bora, Monideep... - p. 1-6 , 2022
 
1-15