Sanghamitra Roy
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
Nick Waddoups and others (2025) · Verification, Model Checking, and Abstract Interpretation (VMCAI 2026)
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
Riley Roberts and others (2021) · Formal Methods for Industrial Critical Systems (FMICS 2021)
Probabilistic Verification for Reliable Network-on-Chip System Design
Benjamin Lewis and others (2019) · Formal Methods for Industrial Critical Systems · Springer