Bas Arts

According to our database, Bas Arts authored at least 1 paper in 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