Xueguang Wu

According to our database, Xueguang Wu authored at least 9 papers between 2013 and 2022.

Collaborative distances:

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

2022

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

2018

Research on Fault Detection and Protection Strategy of HVDC Circuit Breaker Based on New Criterion.

Wei Li, Xueguang Wu, Bin Chang, Dong Liu

Proceedings of the International Conference on Electronics and Electrical Engineering Technology, 2018

Analyzing Interrupt Handlers via Interprocedural Summaries.

Xueguang Wu, Liqian Chen, Ji Wang

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.

Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.

Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang

ACM Trans. Embed. Comput. Syst., 2016

2014

Static analysis of lists by combining shape and numerical abstractions.

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang

Sci. Comput. Program., 2014

An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters.

Xueguang Wu, Liqian Chen, Ji Wang

Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

2013

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.

Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.

Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013