VLDB 2026 Research / reviewers in the wild / expert
Alexis A. Aurandt
dblp:309/0513
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2025
0000-0003-2008-673XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Computer networks · 1 · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor
Alexis A. Aurandt, Kristin Y. Rozier, Phillip H. Jones |
FMCAD | 1 |
| 2024 | Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems
Alexis A. Aurandt, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn |
FMICS | 1 |
| 2021 | Experimental Study of Lifecycle Management Protocols for Batteryless Intermittent CommunicationabstractBatteryless energy-harvesting sensor nodes can operate indefinitely, but if the harvesting rate is too low, they must operate intermittently. Intermittent operation imposes various challenges upon the system. One of the least-studied is communication–if nodes are unpowered for long, unpredictable periods of time, how can they reliably communicate with each other? In prior work, we proposed the concept of lifecycle management protocols (LMPs) to mitigate this issue and enable wireless communication directly between intermittent sensor nodes using active radios. In this paper, we propose a design framework for a class of LMPs. We then provide analytical models for the delay and throughput of two-node communication using this framework. Finally, we implement this framework on hardware and validate our models in an experimental setting. To the best of our knowledge, this is the first design framework for, and implementation of, protocols for enabling and improving general-purpose communication between intermittent sensor nodes using active radios. Vishal Deep, Mathew L. Wymore, Alexis A. Aurandt, Vishak Narayanan, Shen Fu, Henry Duwe, Daji Qiao |
MASS | 3 |