Nick Waddoups
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Arnd Hartmannsonce
- Jonah Boeonce
- Koushik Chakrabortyonce
all 6 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Probabilistic Verification for Modular Network-on-Chip Systems | VMCAI 2026 | 2026-01-12 |
A modular NoC model written in Modest produces DTMCs and uses CTL model checking plus statistical model checking to bound power-supply-noise events up to an… | ||
| nothing matches | ||