Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. - Liqian Chen; Renjian Li; Xueguang Wu; Ji Wang 001 (SAC, 2013)

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. - Xueguang Wu; Yanjun Wen; Liqian Chen; Wei Dong 006; Ji Wang 001 (SERE (Companion), 2013)

An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters. - Xueguang Wu; Liqian Chen; Ji Wang 001 (NSAD, 2014)

Static analysis of lists by combining shape and numerical abstractions. - Liqian Chen; Renjian Li; Xueguang Wu; Ji Wang 001 (Sci. Comput. Program., 2014)

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization. - Xueguang Wu; Liqian Chen; Antoine Miné; Wei Dong 006; Ji Wang 001 (ACM Trans. Embed. Comput. Syst., 2016)

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. - Jiahong Jiang; Liqian Chen; Xueguang Wu; Ji Wang 001 (VMCAI, 2017)

Analyzing Interrupt Handlers via Interprocedural Summaries. - Xueguang Wu; Liqian Chen; Ji Wang 001 (Symposium on Real-Time and Hybrid Systems, 2018)

Research on Fault Detection and Protection Strategy of HVDC Circuit Breaker Based on New Criterion. - Wei Li; Xueguang Wu; Bin Chang; Dong Liu (EEET, 2018)

Probabilistic Power Flow Calculation of AC/DC Hybrid System Based on Cumulant Method. - Yinfeng Sun; Dapeng Xia; Zichun Gao; Zhenhao Wang; Guoqing Li; Weihua Lu; Xueguang Wu; Yang Li (CoRR, 2022)