 | 2011 |
|---|
| 6 |       | Qichang Chen,
Liqiang Wang,
Zijiang Yang:
HEAT: a combined approach for thread escape analysis.
Int. J. Systems Assurance Engineering and Management 2(2): 135-143 (2011) |
| 2010 |
|---|
| 5 | | Mohamed Elwakil,
Zijiang Yang,
Liqiang Wang,
Qichang Chen:
Message Race Detection for Web Services by an SMT-Based Analysis.
ATC 2010: 182-194 |
| 2009 |
|---|
| 4 | | Qichang Chen,
Liqiang Wang,
Zijiang Yang:
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis.
COMPSAC (1) 2009: 142-147 |
| 3 | | Qichang Chen,
Liqiang Wang:
An Integrated Framework for Checking Concurrency-Related Programming Errors.
COMPSAC (1) 2009: 676-679 |
| 2 | | Qichang Chen,
Liqiang Wang,
Zijiang Yang,
Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.
FASE 2009: 425-439 |
| 2008 |
|---|
| 1 | | Qichang Chen,
Liqiang Wang,
Zongbo Shang:
MRGIS: A MapReduce-Enabled High Performance Workflow System for GIS.
eScience 2008: 646-651 |
Data released under the ODC-BY 1.0 license — See also our legal information page