Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2. - Brian Kempa; Pei Zhang 009; Phillip H. Jones; Joseph Zambreno; Kristin Yvonne Rozier (FORMATS, 2020)

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. - Gokul Hariharan; Brian Kempa; Tichakorn Wongpiromsarn; Phillip H. Jones; Kristin Y. Rozier (NSV/FoMLAS@CAV, 2022)

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)