Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms. - Landon Taylor; Zhen Zhang 006 (VMCAI, 2022)

Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. - Landon Taylor; Bryant Israelsen; Zhen Zhang 006 (FMCAD, 2023)

Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks. - Bryant Israelsen; Landon Taylor; Zhen Zhang 006 (SPIN, 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)