Jonah Boe

According to our database, Jonah Boe authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Probabilistic Verification for Modular Network-on-Chip Systems.

Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2026

2025

Probabilistic Verification for Modular Network-on-Chip Systems (extended version).

Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang

CoRR, November, 2025