Experimental Study of Lifecycle Management Protocols for Batteryless Intermittent Communication. - Vishal Deep; Mathew L. Wymore; Alexis A. Aurandt; Vishak Narayanan; Shen Fu; Henry Duwe; Daji Qiao (MASS, 2021)

Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I. - Alexis A. Aurandt; Phillip H. Jones; Kristin Yvonne Rozier (NFM, 2022)

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. - Pei Zhang 009; Alexis A. Aurandt; Rohit Dureja; Phillip H. Jones; Kristin Yvonne Rozier (FORMATS, 2023)

Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. - Alexis A. Aurandt; Phillip H. Jones; Kristin Yvonne Rozier; Tichakorn Wongpiromsarn (FMICS, 2024)

Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust. - Alexis A. Aurandt; Phillip H. Jones; Kristin Yvonne Rozier (NFM, 2025)