Alexis A. Aurandt

According to our database, Alexis A. Aurandt authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

From Natural Language Requirements to Runtime Monitors for Resource-Constrained Systems: Integrating FRET and R2U2.

Alexis A. Aurandt, Christopher Johannsen, Andreas Katis, Anastasia Mavridou, Kristin Yvonne Rozier, Phillip H. Jones

Proceedings of the NASA Formal Methods, 2026

2025

Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust.

Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor.

Alexis A. Aurandt, Kristin Yvonne Rozier, Phillip H. Jones

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2024

Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems.

Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.

Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

2022

Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I.

Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

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

Proceedings of the IEEE 18th International Conference on Mobile Ad Hoc and Smart Systems, 2021