​
Login / Signup
Alexis A. Aurandt
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Real Time Embedded Systems
Synthetic Datasets
Lifecycle Management
Messages Exchanged
Top Venues
MASS
NFM
FMICS
FORMATS
</>
Publications
</>
Alexis A. Aurandt
,
Phillip H. Jones
,
Kristin Yvonne Rozier
,
Tichakorn Wongpiromsarn
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems.
FMICS
(2024)
Pei Zhang
,
Alexis A. Aurandt
,
Rohit Dureja
,
Phillip H. Jones
,
Kristin Yvonne Rozier
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.
FORMATS
(2023)
Alexis A. Aurandt
,
Phillip H. Jones
,
Kristin Yvonne Rozier
Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I.
NFM
(2022)
Vishal Deep
,
Mathew L. Wymore
,
Alexis A. Aurandt
,
Vishak Narayanan
,
Shen Fu
,
Henry Duwe
,
Daji Qiao
Experimental Study of Lifecycle Management Protocols for Batteryless Intermittent Communication.
MASS
(2021)