A Semantic-Aware Publish/Subscribe System with RDF Patterns. - Jinling Wang; Beihong Jin; Jing Li 047; Danhua Shao (COMPSAC, 2004)

An Exploratory Case Study Using CBSP and Archium. - Charles L. Chen; Danhua Shao; Dewayne E. Perry (SHARK/ADI@ICSE, 2007)

Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. - Danhua Shao; Sarfraz Khurshid; Dewayne E. Perry (ICSM, 2007)

Semantic Impact and Faults in Source Code Changes: An Empirical Study. - Danhua Shao; Sarfraz Khurshid; Dewayne E. Perry (Australian Software Engineering Conference, 2009)

An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. - Danhua Shao; Sarfraz Khurshid; Dewayne E. Perry (FM, 2009)

SCA: a semantic conflict analyzer for parallel changes. - Danhua Shao; Sarfraz Khurshid; Dewayne E. Perry (ESEC/SIGSOFT FSE, 2009)

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. - Danhua Shao; Divya Gopinath; Sarfraz Khurshid; Dewayne E. Perry (ASM, 2010)

Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. - Danhua Shao; Divya Gopinath; Sarfraz Khurshid; Dewayne E. Perry (ISSRE, 2010)