| 2017 | ICSE | JSFox: integrating static and dynamic type analysis of JavaScript programs. | Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun |
| 2016 | ICFEM | Service Adaptation with Probabilistic Partial Models. | Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong |
| 2016 | ICFEM | Scaling BDD-based Timed Verification with Simulation Reduction. | Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong |
| 2016 | ICSE | Optimizing selection of competing services with probabilistic hierarchical refinement. | Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, tienne Andr, Yinxing Xue, Jin Song Dong |
| 2015 | ISSTA | Optimizing selection of competing features via feedback-directed evolutionary algorithms. | Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICSE | VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. | Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | WWW | Automated runtime recovery for QoS-based service composition. | Tian Huat Tan, Manman Chen, tienne Andr, Jun Sun, Yang Liu, Jin Song Dong |
| 2013 | ICFEM | Verification of Functional and Non-functional Requirements of Web Service Composition. | Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li |
| 2013 | ICSE | Dynamic synthesis of local time requirement for service composition. | Tian Huat Tan, tienne Andr, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen |