Login / Signup
Riley Roberts
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Formal Specification
Temporal Logic
Network Simulator
Model Checker
Top Venues
VMCAI
CoRR
FMICS
QEST
</>
Publications
</>
Joshua Jeppson
,
Matthias Volk
,
Bryant Israelsen
,
Riley Roberts
,
Andrew Williams
,
Lukas Buecherl
,
Chris J. Myers
,
Hao Zheng
,
Chris Winstead
,
Zhen Zhang
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.
QEST
(2023)
Riley Roberts
,
Thakur Neupane
,
Lukas Buecherl
,
Chris J. Myers
,
Zhen Zhang
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.
VMCAI
(2022)
Riley Roberts
,
Benjamin Lewis
,
Arnd Hartmanns
,
Prabal Basu
,
Sanghamitra Roy
,
Koushik Chakraborty
,
Zhen Zhang
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
CoRR
(2021)
Riley Roberts
,
Benjamin Lewis
,
Arnd Hartmanns
,
Prabal Basu
,
Sanghamitra Roy
,
Koushik Chakraborty
,
Zhen Zhang
Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
FMICS
(2021)