Erwin de Kock

According to our database, Erwin de Kock authored at least 2 papers between 2012 and 2025.

Collaborative distances:

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

2025

Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract.

Niels Mook, Erwin de Kock, Bas Arts, Soham Chakraborty, Arie van Deursen

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2012

A configurable test infrastructure using a mixed-language and mixed-level IP integration IP-XACT flow.

Erwin de Kock, Jos Verhaegh, Serge Amougou

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012