C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Alexis A. Aurandt
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Messages Exchanged
Synthetic Datasets
Lifecycle Management
Real Time Embedded Systems
Top Venues
MASS
NFM
FORMATS
</>
Publications
</>
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)