WanXia Qu

Publication Activity (10 Years)

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

Top Topics

Design Methodology

Cyber Physical Systems

Oriented Programming

Top Venues

Mob. Inf. Syst.

Wirel. Commun. Mob. Comput.

Publications

Hongji Zou, Mingchuan Shi, Tun Li, WanXia Qu
Towards Implementing RTL Microprocessor Agile Design Using Feature Oriented Programming. DATE (2022)
Tun Li, Hongji Zou, Dan Luo, WanXia Qu
Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design. ISCAS (2021)
Long Zhang, WanXia Qu, Yinjia Huo, Yang Guo, Sikun Li
An SAT-Based Method to Multithreaded Program Verification for Mobile Crowdsourcing Networks. Wirel. Commun. Mob. Comput. 2018 (2018)
Long Zhang, Wenyan Hu, WanXia Qu, Yang Guo, Sikun Li
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mob. Inf. Syst. 2017 (2017)
Yang Guo, WanXia Qu, Long Zhang, Weixia Xu
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction. J. Supercomput. 62 (2) (2012)
WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang
Explicit Model Checking Based on Integer Pointer and Fibonacci Hash. ICYCS (2008)
WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang
Efficient Verification of Parameterized Cache Coherence Protocols. ICYCS (2008)
Yang Guo, WanXia Qu, Tun Li, Sikun Li
Coverage Driven Test Generation Framework for RTL Functional Verification. CAD/Graphics (2007)