Ao Li

24 papers A* 9A 7C 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
Mad Monk: Arbitrary Criticality Escalation in Mixed Criticality Real-Time Systems.
ISORC
Mitchell Duncan, Ao Li, Nathan Fisher, Ning Zhang, Ryan M. Gerdes, Tanmaya Mishra, Thidapat Chantem
2025 A conf
Optimal Priority Assignment for Synchronous Harmonic Tasks with Dynamic Self-Suspension.
RTAS
Mario Günzel, Marion Sudvarg, Max A. Deppert, Ao Li, Ning Zhang, Jian-Jia Chen
2025 A* conf
Resilient Federated Learning on Embedded Devices with Constrained Network Connectivity.
DAC
Zihan Li, Han Liu, Ao Li, Ching-Hsiang Chan, Yevgeniy Vorobeychik, William Yeoh, Wenjing Lou, Ning Zhang
2025 A* conf
Software Availability Protection in Cyber-Physical Systems.
USENIX Security Symposium
Ao Li, Jinwen Wang, Ning Zhang
2025 A* conf
Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty.
OSDI
Ao Li, Marion Sudvarg, Zihan Li, Sanjoy K. Baruah, Chris Gill, Ning Zhang
2024 A conf
An Empirical Study of Performance Interference: Timing Violation Patterns and Impacts.
RTAS
Ao Li, Jinwen Wang, Sanjoy K. Baruah, Bruno Sinopoli, Ning Zhang
2024 A* conf
Data-flow Availability: Achieving Timing Assurance in Autonomous Systems.
OSDI
Ao Li, Ning Zhang
2024 A conf
Elastic Scheduling for Harmonic Task Systems.
RTAS
Marion Sudvarg, Ao Li, Daisy Wang, Sanjoy K. Baruah, Jeremy Buhler, Chris Gill, Ning Zhang, Pontus Ekberg
2024 A* conf
Opportunistic Data Flow Integrity for Real-time Cyber-physical Systems Using Worst Case Execution Time Reservation.
USENIX Security Symposium
Yujie Wang, Ao Li, Jinwen Wang, Sanjoy K. Baruah, Ning Zhang
2024 A* conf
PhySense: Defending Physically Realizable Attacks for Autonomous Systems via Consistency Reasoning.
CCS
Zhiyuan Yu, Ao Li, Ruoyao Wen, Yijia Chen, Ning Zhang
2024 J jnl
Priority-based concurrency and shared resource access mechanisms for nested intercomponent requests in CAmkES.
Real Time Syst.
Marion Sudvarg, Zhuoran Sun, Ao Li, Chris Gill, Ning Zhang
2023 A* conf
ARI: Attestation of Real-time Mission Execution Integrity.
USENIX Security Symposium
Jinwen Wang, Yujie Wang, Ao Li, Yang Xiao, Ruide Zhang, Wenjing Lou, Y. Thomas Hou, Ning Zhang
2023 — conf
Demo: Real-time System Availability for Cyber-physical Systems using ARM TrustZone.
VehicleSec
Jinwen Wang, Ao Li, Haoran Li, Chenyang Lu, Ning Zhang
2023 — conf
MS-PTP: Protecting Network Timing from Byzantine Attacks.
WISEC
Shanghao Shi, Yang Xiao, Changlai Du, Md Hasan Shahriar, Ao Li, Ning Zhang, Y. Thomas Hou, Wenjing Lou
2023 — conf
Software and Behavior Diversification for Swarm Robotics Systems.
MTD@CCS
Ao Li, Sinyin Chang, Guorui Li, Yuanhaur Chang, Nathan Fisher, Thidapat Chantem
2023 A conf
Who's Afraid of Butterflies? A Close Examination of the Butterfly Attack.
RTSS
Sanjoy K. Baruah, Pontus Ekberg, Mehdi Hosseinzadeh, Ao Li, Bryan C. Ward, Ning Zhang
2022 A conf
From Timing Variations to Performance Degradation: Understanding and Mitigating the Impact of Software Execution Timing in SLAM.
IROS
Ao Li, Han Liu, Jinwen Wang, Ning Zhang
2022 — conf
Injection Simulation: an Efficient Validation Framework for Autonomous Driving System.
ITSC
Tong Xiao, Shitao Chen, Kongtao Zhu, Rongyao Huang, Ao Li, Nanning Zheng, Jingmin Xin
2022 A conf
PolyRhythm: Adaptive Tuning of a Multi-Channel Attack Template for Timing Interference.
RTSS
Ao Li, Marion Sudvarg, Han Liu, Zhiyuan Yu, Chris Gill, Ning Zhang
2022 A* conf
RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone.
SP
Jinwen Wang, Ao Li, Haoran Li, Chenyang Lu, Ning Zhang
2022 J jnl
SceGene: Bio-Inspired Traffic Scenario Generation for Autonomous Driving Testing.
IEEE Trans. Intell. Transp. Syst.
Ao Li, Shitao Chen, Liting Sun, Nanning Zheng, Masayoshi Tomizuka, Wei Zhan
2022 A conf
Work-in-Progress: Measuring Security Protection in Real-time Embedded Firmware.
RTSS
Yuhao Wu, Yujie Wang, Shixuan Zhai, Zihan Li, Ao Li, Jinwen Wang, Ning Zhang
2021 A* conf
Chronos: Timing Interference as a New Attack Vector on Autonomous Cyber-physical Systems.
CCS
Ao Li, Jinwen Wang, Ning Zhang
2019 J jnl
Multiple criteria decision-making for lane-change model.
CoRR
Ao Li, Liting Sun, Wei Zhan, Masayoshi Tomizuka