​
Login / Signup
Xi Zheng
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 16
Top Topics
Current Context
Asymptotic Optimality
Poisson Arrivals
Temporal Dependencies
Top Venues
CoRR
IEEE Trans. Wirel. Commun.
ISIT
ICC Workshops
</>
Publications
</>
Xi Zheng
,
Aloysius K. Mok
,
Ruzica Piskac
,
Yong Jae Lee
,
Bhaskar Krishnamachari
,
Dakai Zhu
,
Oleg Sokolsky
,
Insup Lee
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach.
SIGSOFT FSE Companion
(2024)
Xi Zheng
,
Aloysius K. Mok
,
Ruzica Piskac
,
Yong Jae Lee
,
Bhaskar Krishnamachari
,
Dakai Zhu
,
Oleg Sokolsky
,
Insup Lee
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach.
CoRR
(2023)
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Beyond Age: Urgency of Information for Timeliness Guarantee in Status Update Systems.
6G SUMMIT
(2020)
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Urgency of Information for Context-Aware Timely Status Updates in Remote Control Systems.
CoRR
(2020)
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Urgency of Information for Context-Aware Timely Status Updates in Remote Control Systems.
IEEE Trans. Wirel. Commun.
19 (11) (2020)
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Beyond Age: Urgency of Information for Timeliness Guarantee in Status Update Systems.
CoRR
(2020)
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Context-Aware Information Lapse for Timely Status Updates in Remote Control Systems.
GLOBECOM
(2019)
Xi Zheng
,
Sheng Zhou
,
Zhiyuan Jiang
,
Zhisheng Niu
Closed-Form Analysis of Non-Linear Age of Information in Status Updates With an Energy Harvesting Transmitter.
IEEE Trans. Wirel. Commun.
18 (8) (2019)
Xi Zheng
,
Sheng Zhou
,
Zhiyuan Jiang
,
Zhisheng Niu
Closed-Form Analysis of Non-Linear Age-of-Information in Status Updates with an Energy Harvesting Transmitter.
CoRR
(2019)
Zhiyuan Jiang
,
Bhaskar Krishnamachari
,
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Timely Status Update in Wireless Uplinks: Analytical Solutions With Asymptotic Optimality.
IEEE Internet Things J.
6 (2) (2019)
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Context-Aware Information Lapse for Timely Status Updates in Remote Control Systems.
CoRR
(2019)
Zhiyuan Jiang
,
Bhaskar Krishnamachari
,
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Timely Status Update in Massive IoT Systems: Decentralized Scheduling for Wireless Uplinks.
CoRR
(2018)
Zhiyuan Jiang
,
Bhaskar Krishnamachari
,
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
Decentralized Status Update for Age-of-Information Optimization in Wireless Multiaccess Channels.
ISIT
(2018)
Xi Zheng
,
Sheng Zhou
,
Zhiyuan Jiang
,
Zhisheng Niu
Proactive Content Push in Heterogeneous Networks with Multiple Energy Harvesting Small Cells.
VTC Spring
(2017)
Bingjie Leng
,
Xueying Guo
,
Xi Zheng
,
Bhaskar Krishnamachari
,
Zhisheng Niu
A Wait-and-See Two-Threshold Optimal Sleeping Policy for a Single Server With Bursty Traffic.
IEEE Trans. Green Commun. Netw.
1 (4) (2017)
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
On the online minimization of completion time in an energy harvesting system.
WiOpt
(2016)
Tao Zhao
,
Liumeng Wang
,
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
HyCell: Enabling GREEN base station operations in software-defined radio access networks.
ICC Workshops
(2015)
Tao Zhao
,
Liumeng Wang
,
Xi Zheng
,
Sheng Zhou
,
Zhisheng Niu
HyCell: Enabling GREEN Base Station Operations in Software-Defined Radio Access Networks.
CoRR
(2015)
Zhengteng Zhu
,
Xiao Xu
,
Xi Zheng
,
Yuxuan Sun
,
Sheng Zhou
,
Jie Gong
,
Zhisheng Niu
A simulation study of hyper-cellular architecture with dynamic temporal and spatial traffic.
APCC
(2015)