Hongyi Xie

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 6

Top Topics

Formal Verification

Top Venues

ACM Trans. Softw. Eng. Methodol.

IEEE Trans Autom. Sci. Eng.

Publications

Hongyi Xie, Baolin Wu, Franco Bernelli-Zazzera
High Minimum Inter-Execution Time Sigmoid Event-Triggered Control for Spacecraft Attitude Tracking With Actuator Saturation. IEEE Trans Autom. Sci. Eng. 20 (2) (2023)
Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen
Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Trans. Software Eng. 48 (3) (2022)
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. ACM Trans. Softw. Eng. Methodol. 30 (3) (2021)
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. CoRR (2020)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. TACAS (1) (2019)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks. CoRR (2019)
Yining Cao, Yabin Ye, Hongyi Xie, Xiaoping Zheng, Yanhe Li, Hanyi Zhang
Collision avoidance wavelength assignment scheme for distributed path restoration in optical networks. Photonic Netw. Commun. 19 (2) (2010)
Yining Cao, Hongyi Xie, Xiaoping Zheng, Yanhe Li, Hanyi Zhang
Hop constraint-based capacity fairness control in IP-over-WDM networks. Photonic Netw. Commun. 18 (2) (2009)
Hongyi Xie, Yanhe Li, Xiaoping Zheng, Xinyou Cui, Yining Cao, Hanyi Zhang
Hop constraint based admission and fairness control in IP-over-WDM networks. Photonic Netw. Commun. 14 (2) (2007)