Model-Based Methods for Linking Web Service Choreography and Orchestration. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Geguang Pu; Tian Huat Tan (APSEC, 2010)

Towards Verification of a Service Orchestration Language. - Tian Huat Tan (SSIRI (Companion), 2010)

Verification of Orchestration Systems Using Compositional Partial Order Reduction. - Tian Huat Tan; Yang Liu 003; Jun Sun 001; Jin Song Dong (ICFEM, 2011)

Verification of Functional and Non-functional Requirements of Web Service Composition. - Manman Chen; Tian Huat Tan; Jun Sun 001; Yang Liu 003; Jun Pang 001; Xiaohong Li 001 (ICFEM, 2013)

Dynamic synthesis of local time requirement for service composition. - Tian Huat Tan; Étienne André; Jun Sun 001; Yang Liu 003; Jin Song Dong; Manman Chen (ICSE, 2013)

Management of Time Requirements in Component-Based Systems. - Yi Li 008; Tian Huat Tan; Marsha Chechik (FM, 2014)

VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. - Manman Chen; Tian Huat Tan; Jun Sun 001; Yang Liu 003; Jin Song Dong (ICSE Companion, 2014)

Automated runtime recovery for QoS-based service composition. - Tian Huat Tan; Manman Chen; Étienne André; Jun Sun 001; Yang Liu 003; Jin Song Dong (WWW, 2014)

JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification. - Junjie Wang 007; Yinxing Xue; Yang Liu 003; Tian Huat Tan (AsiaCCS, 2015)

Optimizing selection of competing features via feedback-directed evolutionary algorithms. - Tian Huat Tan; Yinxing Xue; Manman Chen; Jun Sun 001; Yang Liu 003; Jin Song Dong (ISSTA, 2015)

Service Adaptation with Probabilistic Partial Models. - Manman Chen; Tian Huat Tan; Jun Sun 001; Jingyi Wang 004; Yang Liu 003; Jing Sun 002; Jin Song Dong (ICFEM, 2016)

Scaling BDD-based Timed Verification with Simulation Reduction. - Truong Khanh Nguyen; Tian Huat Tan; Jun Sun 001; Jiaying Li 001; Yang Liu 003; Manman Chen; Jin Song Dong (ICFEM, 2016)

Optimizing selection of competing services with probabilistic hierarchical refinement. - Tian Huat Tan; Manman Chen; Jun Sun 001; Yang Liu 003; Étienne André; Yinxing Xue; Jin Song Dong (ICSE, 2016)

CrowdService: serving the individuals through mobile crowdsourcing and service composition. - Xin Peng 001; Jingxiao Gu; Tian Huat Tan; Jun Sun 001; Yijun Yu; Bashar Nuseibeh; Wenyun Zhao (ASE, 2016)

IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. - Yinxing Xue; Jinghui Zhong; Tian Huat Tan; Yang Liu 003; Wentong Cai 001; Manman Chen; Jun Sun 001 (Appl. Soft Comput., 2016)

JSFox: integrating static and dynamic type analysis of JavaScript programs. - Tian Huat Tan; Yinxing Xue; Manman Chen; Shuang Liu 007; Yi Yu 001; Jun Sun 001 (ICSE (Companion Volume), 2017)

Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. - Yinxing Xue; Guozhu Meng; Yang Liu 003; Tian Huat Tan; Hongxu Chen 001; Jun Sun 001; Jie Zhang 002 (IEEE Trans. Inf. Forensics Secur., 2017)

CrowdService: Optimizing Mobile Crowdsourcing and Service Composition. - Xin Peng 001; Jingxiao Gu; Tian Huat Tan; Jun Sun 001; Yijun Yu; Bashar Nuseibeh; Wenyun Zhao (ACM Trans. Internet Techn., 2018)

Automated synthesis of local time requirement for service composition. - Étienne André; Tian Huat Tan; Manman Chen; Shuang Liu 007; Jun Sun 001; Yang Liu 003; Jin Song Dong (Softw. Syst. Model., 2020)