Karl Aaron Rudkowski

According to our database, Karl Aaron Rudkowski authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution.

Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler

CoRR, September, 2025

CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution.

Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler

Proceedings of the 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2025