VLDB 2026 Research / reviewers in the wild / expert
Riley Roberts
dblp:299/8052
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2022
0000-0002-8676-3767ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang 0006 |
VMCAI | 1 |
| 2021 | Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
Riley Roberts, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang 0006 |
FMICS | 1 |