Alexis A. Aurandt

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

Collaborative distances:

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

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