Thorsten Dworzak

According to our database, Thorsten Dworzak authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Fully Automated Verification Framework for Configurable IPs: From Requirements to Results.

Shuhang Zhang, Jelena Radulovic, Thorsten Dworzak

CoRR, October, 2025

2024

Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification.

Jaimini Nagar, Thorsten Dworzak, Sebastian Simon, Ulrich Heinkel, Djones Lettnin

Proceedings of the 32nd IFIP/IEEE International Conference on Very Large Scale Integration, 2024