Get started
Author

Alexis Aurandt

Observed names: Alexis A. Aurandt, Aurandt, Alexis
ORCID: 0000-0003-2008-673X
Observed ORCID: 0000-0003-2008-673X
OpenAlex ID: A5064073850
Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I
2022 · Alexis Aurandt, Phillip H. Jones, et al. · Lecture notes in computer science · 19
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines
2023 · Pei Zhang, Alexis Aurandt, et al. · Lecture notes in computer science · 11
Experimental Study of Lifecycle Management Protocols for Batteryless Intermittent Communication
2021 · Vishal Deep, Mathew L. Wymore, et al. · IEEE International Conference on Mobile Ad-Hoc and Sensor Systems (MASS) · 11
Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust
2025 · Alexis Aurandt, Phillip H. Jones, et al. · Lecture notes in computer science · 3
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems
2024 · Alexis Aurandt, Phillip H. Jones, et al. · Lecture notes in computer science · 3
From Natural Language Requirements to Runtime Monitors for Resource-Constrained Systems: Integrating FRET and R2U2
2026 · Alexis Aurandt, Christopher Johannsen, et al. · Lecture notes in computer science · 1
An Integrated Ecosystem for Mission-Time LTL Specification Elicitation and Validation
2026 · Zili Wang, Alec E. Rosentrater, et al. · Lecture notes in computer science
PDF
Towards runtime safety assurance of autonomous cyber-physical systems through runtime verification
2025 · Alexis Aurandt
Experimental Study of Lifecycle Management Protocols forBatteryless Intermittent Communication
2021 · Vishal Deep, Mathew L. Wymore, et al.
Works count: 12
Citation count: 50
H-index: 3
I10-index: 3
Year
Topic
Type