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)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces. - Joshua Jeppson; Landon Taylor; Bingqing Hu; Zhen Zhang (CoRR, 2025)