Xueguang Wu

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 4

Top Topics

Static Analysis

Abstract Interpretation

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Yinfeng Sun, Dapeng Xia, Zichun Gao, Zhenhao Wang, Guoqing Li, Weihua Lu, Xueguang Wu, Yang Li
Probabilistic Power Flow Calculation of AC/DC Hybrid System Based on Cumulant Method. CoRR (2022)
Wei Li, Xueguang Wu, Bin Chang, Dong Liu
Research on Fault Detection and Protection Strategy of HVDC Circuit Breaker Based on New Criterion. EEET (2018)
Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. VMCAI (2017)
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
Static analysis of lists by combining shape and numerical abstractions. Sci. Comput. Program. 95 (2014)
Xueguang Wu, Liqian Chen, Ji Wang
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. Electron. Notes Theor. Comput. Sci. 307 (2014)
Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. SAC (2013)
Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. SERE (Companion) (2013)