activity
20162026
most citedSound Statistical Model Checking for Probabilities and Expected Rewards (extended version)

9 citations · 23 across the 16 of their papers we have counts for

collaborators
Showing cs.NIShow all

1 paper · 1 filter

cs.NI2021

Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System

Riley Roberts, Benjamin Lewis, Arnd Hartmanns +4

Modern network-on-chip (NoC) systems face reliability issues due to process and environmental variations. The power supply noise (PSN) in the power delivery network of a NoC plays…