Haizhao Luo

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 6

Top Topics

Safety Analysis

Execution Model

Temporal Analysis

Top Venues

HPCC/SmartCity/DSS

Publications

Bo Wan, Xi Li, Haizhao Luo, Chao Wang, Xianglan Chen, Xuehai Zhou
Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical Systems. RTSS (2017)
Bo Wan, Xi Li, Kaiqi Zhou, Haizhao Luo, Chao Wang, Xianglan Chen, Xuehai Zhou
Clockwerk: A Predictable and Efficient Extension of Logical Execution Time Model. APSEC (2017)
Bo Wan, Haizhao Luo, Kaiqi Zhou, Xi Li, Chao Wang, Xianglan Chen, Xuehai Zhou
A Time-Aware Programming Framework for Constructing Predictable Real-Time Systems. HPCC/SmartCity/DSS (2017)
Bo Wan, Xi Li, Bo Zhang, Kaiqi Zhou, Haizhao Luo, Chao Wang, Xianglan Chen, Xuehai Zhou
A Predictable Servant-Based Execution Model for Safety-Critical Systems. ISPA/IUCC (2017)
Bo Wan, Xi Li, Haizhao Luo, Beilei Sun, Chao Wang, Xianglan Chen, Xuehai Zhou
Exploiting Aperiodic Server to Improve Aperiodic Responsiveness for LET-Based Real-Time Systems. ISPA/IUCC (2017)
Haizhao Luo, Xi Li, Bo Wan, Guixing Wu, Xianglan Chen, Chao Wang
Tickwerk: Design of a LET-Based SoC for Temporal Programming. ISPA/IUCC (2017)