Tian Huat Tan

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 10

Top Topics

Functional Requirements

Product Line Engineering

Top Venues

Publications

Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
Automated synthesis of local time requirement for service composition. CoRR (2020)
Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19 (4) (2020)
Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao
CrowdService: Optimizing Mobile Crowdsourcing and Service Composition. ACM Trans. Internet Techn. 18 (2) (2018)
Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, Jie Zhang
Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. IEEE Trans. Inf. Forensics Secur. 12 (7) (2017)
Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun
JSFox: integrating static and dynamic type analysis of JavaScript programs. ICSE (Companion Volume) (2017)
Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong
Service Adaptation with Probabilistic Partial Models. ICFEM (2016)
Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao
CrowdService: serving the individuals through mobile crowdsourcing and service composition. ASE (2016)
Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong
Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE (2016)
Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, Jun Sun
IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Appl. Soft Comput. 49 (2016)
Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong
Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM (2016)
Junjie Wang, Yinxing Xue, Yang Liu, Tian Huat Tan
JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification. AsiaCCS (2015)
Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong
Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA (2015)
Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong
Automated runtime recovery for QoS-based service composition. WWW (2014)
Yi Li, Tian Huat Tan, Marsha Chechik
Management of Time Requirements in Component-Based Systems. FM (2014)
Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. ICSE Companion (2014)
Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen
Dynamic synthesis of local time requirement for service composition. ICSE (2013)
Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li
Verification of Functional and Non-functional Requirements of Web Service Composition. ICFEM (2013)
Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong
Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM (2011)
Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan
Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC (2010)
Tian Huat Tan
Towards Verification of a Service Orchestration Language. SSIRI (Companion) (2010)