| 2006 | EUC | Modelling and Analysis of Power Consumption for Component-Based Embedded Software. | Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang |
| 2006 | FORTE | Scenario-Based Timing Consistency Checking for Time Petri Nets. | Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng |
| 2006 | ICFEM | Scenario-Based Component Behavior Derivation. | Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng |
| 2006 | ISoLA | Improve Model Checking Efficiency Using Specific Knowledge about the System. | Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng |
| 2005 | EUC | Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. | Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng |
| 2004 | APSEC | Generating Test Cases from UML Activity Diagram based on Gray-Box Method. | Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng |
| 2004 | ISORC | Verifying Compositional Designs for Scenario-Based Timing Specifications. | Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng |
| 1998 | ISORC | SPLAW: A Computable Agent-Oriented Programming Language. | Xiaocong Fan, Dianxiang Xu, Jianmin Hou, Guoliang Zheng |
| 1996 | APSEC | A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. | Xuandong Li, Guoliang Zheng |