Hongyi Xie

According to our database, Hongyi Xie authored at least 7 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

High Minimum Inter-Execution Time Sigmoid Event-Triggered Control for Spacecraft Attitude Tracking With Actuator Saturation.

Hongyi Xie, Baolin Wu, Franco Bernelli-Zazzera

IEEE Trans Autom. Sci. Eng., April, 2023

2022

Formal Verification of Masking Countermeasures for Arithmetic Programs.

Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen

IEEE Trans. Software Eng., 2022

2021

A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.

Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen

ACM Trans. Softw. Eng. Methodol., 2021

2019

Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.

Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2010

Collision avoidance wavelength assignment scheme for distributed path restoration in optical networks.

Yining Cao, Yabin Ye, Hongyi Xie, Xiaoping Zheng, Yanhe Li, Hanyi Zhang

Photonic Netw. Commun., 2010

2009

Hop constraint-based capacity fairness control in IP-over-WDM networks.

Yining Cao, Hongyi Xie, Xiaoping Zheng, Yanhe Li, Hanyi Zhang

Photonic Netw. Commun., 2009

2007

Hop constraint based admission and fairness control in IP-over-WDM networks.

Hongyi Xie, Yanhe Li, Xiaoping Zheng, Xinyou Cui, Yining Cao, Hanyi Zhang

Photonic Netw. Commun., 2007