| 2008 |
| 5 | EE | Xiao-cong Zhou,
Wen-jun Li,
Han-jun Xian,
Tai-zong Lai,
Hui Liang:
Towards Context Modeling for Algorithm Animation.
COMPSAC 2008: 279-286 |
| 2007 |
| 4 | | Hui Liang,
Jin Song Dong,
Jing Sun:
Evolution and Runtime Monitoring of Software Systems.
SEKE 2007: 343-348 |
| 3 | | Hui Liang,
Jing Sun:
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection.
SEKE 2007: 77-80 |
| 2006 |
| 2 | EE | Hui Liang,
Jin Song Dong,
Jing Sun,
Roger Duke,
Rudolph E. Seviora:
Formal Specification-based Online Monitoring.
ICECCS 2006: 152-162 |
| 2005 |
| 1 | EE | Hui Liang:
Regression Testing of Classes Based on TCOZ Specification.
ICECCS 2005: 450-457 |