| 2012 | COMPSAC | Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach. | Tao Sun, Xinming Ye, Hongji Yang, Jing Liu |
| 2012 | PDCAT | A Test Generation Method Based on Model Reduction for Parallel Software. | Tao Sun, Xinming Ye, Jing Liu |
| 2012 | SERVICES | Study of Interaction Property Testing of Distributed System Based on Petri Net. | Hua Li, Yi Xing, Yu Xue, Xinming Ye |
| 2011 | ISCC | Colored Petri nets model based conformance test generation. | Jing Liu, Xinming Ye, Jun Li |
| 2011 | SAC | Scalable CP-nets modeling for BitTorrent protocol. | Jing Liu, Haibo Wu, Xinming Ye, Jun Li |
| 2010 | COMPSAC | Test Sequence Generation from Combining Property Modeling and Program Slicing. | Hua Li, Yong-guang Peng, Xinming Ye, Jing-yuan Yue |
| 2010 | ISCC | Integrating functional verification and performance analysis for network protocols using CP-nets. | Jing Liu, Xinming Ye, Jun Zhang, Jun Li, Yi Sun |
| 2010 | WCNC | Dynamic Differentiated Service Management for IP over Broadcasting Network. | Jun Zhang, Hai Jiang, Zhijun Xu, Jun Li, Xinming Ye, Yi Sun |
| 2010 | SNPD | CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol. | Jing Liu, Xinming Ye, Jun Li |
| 2006 | Networking | Topologically-Aware AAA Overlay Network in Mobile IPv6 Environment. | Jun Li, Xinming Ye, Ye Tian |
| 2005 | WiMob | Authenticated stateful auto-configuration for Mobile IPv6 based on pre-IP access control. | Jun Li, Xinming Ye, Jing-lin Shi, Miao Wang |