Xueguang Wu - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 8 from 8

2018

Research on Fault Detection and Protection Strategy of HVDC Circuit Breaker Based on New CriterionWei Li, Xueguang Wu, Bin Chang, Dong Liu. eeet 2018: 7-12 [doi]

2017

Block-Wise Abstract Interpretation by Combining Abstract Domains with SMTJiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang. vmcai 2017: 310-329 [doi]

Analyzing Interrupt Handlers via Interprocedural SummariesXueguang Wu, Liqian Chen, Ji Wang. BIRTHDAY 2018: 246-262 [doi]

2016

Static Analysis of Runtime Errors in Interrupt-Driven Programs via SequentializationXueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang. tecs, 15(4):70, 2016. [doi]

2014

Static analysis of lists by combining shape and numerical abstractionsLiqian Chen, Renjian Li, Xueguang Wu, Ji Wang. SCP, 95:320-342, 2014. [doi]

An Abstract Domain to Infer Symbolic Ranges over Nonnegative ParametersXueguang Wu, Liqian Chen, Ji Wang. ENTCS, 307:33-45, 2014. [doi]

2013

Static analysis of list-manipulating programs via bit-vectors and numerical abstractionsLiqian Chen, Renjian Li, Xueguang Wu, Ji Wang. SAC 2013: 1204-1210 [doi]

Data Race Detection for Interrupt-Driven Programs via Bounded Model CheckingXueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang. ssiri 2013: 204-210 [doi]

Sign in or sign up to see more results.

runs on WebDSL