Riley Roberts

According to our database, Riley Roberts authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.

Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

2022

STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.

Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2021