Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System. - Riley Roberts; Benjamin Lewis; Arnd Hartmanns; Prabal Basu; Sanghamitra Roy; Koushik Chakraborty; Zhen Zhang 006 (FMICS, 2021)

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. - Riley Roberts; Thakur Neupane; Lukas Buecherl; Chris J. Myers; Zhen Zhang 006 (VMCAI, 2022)

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. - Joshua Jeppson; Matthias Volk 001; Bryant Israelsen; Riley Roberts; Andrew Williams; Lukas Buecherl; Chris J. Myers; Hao Zheng 001; Chris Winstead; Zhen Zhang 006 (QEST, 2023)