R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. - Chris Johannsen; Phillip H. Jones; Brian Kempa; Kristin Yvonne Rozier; Pei Zhang 009 (CAV (3), 2023)

Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. - Chris Johannsen; Brian Kempa; Phillip H. Jones; Kristin Y. Rozier; Tichakorn Wongpiromsarn (FMICS, 2023)

The MoXI Model Exchange Tool Suite. - Chris Johannsen; Karthik Nukala; Rohit Dureja; Ahmed Irfan; Natarajan Shankar; Cesare Tinelli; Moshe Y. Vardi; Kristin Yvonne Rozier (CAV (1), 2024)

MoXI: An Intermediate Language for Symbolic Model Checking. - Kristin Yvonne Rozier; Rohit Dureja; Ahmed Irfan; Chris Johannsen; Karthik Nukala; Natarajan Shankar; Cesare Tinelli; Moshe Y. Vardi (SPIN, 2024)

Infinite-State Liveness Checking with rlive. - Alessandro Cimatti; Alberto Griggio; Christopher Johannsen; Kristin Yvonne Rozier; Stefano Tonetta (CAV (1), 2025)