Tian Huat Tan

According to our database, Tian Huat Tan authored at least 19 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Automated synthesis of local time requirement for service composition.

Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong

Softw. Syst. Model., 2020

2018

CrowdService: Optimizing Mobile Crowdsourcing and Service Composition.

Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao

ACM Trans. Internet Techn., 2018

2017

Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique.

Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, Jie Zhang

IEEE Trans. Inf. Forensics Secur., 2017

JSFox: integrating static and dynamic type analysis of JavaScript programs.

Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

IBED: Combining IBEA and DE for optimal feature selection in software product line engineering.

Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, Jun Sun

Appl. Soft Comput., 2016

CrowdService: serving the individuals through mobile crowdsourcing and service composition.

Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

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

Proceedings of the 38th International Conference on Software Engineering, 2016

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

Proceedings of the Formal Methods and Software Engineering, 2016

Service Adaptation with Probabilistic Partial Models.

Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Optimizing selection of competing features via feedback-directed evolutionary algorithms.

Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification.

Junjie Wang, Yinxing Xue, Yang Liu, Tian Huat Tan

Proceedings of the 10th ACM Symposium on Information, 2015

2014

Automated runtime recovery for QoS-based service composition.

Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong

Proceedings of the 23rd International World Wide Web Conference, 2014

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

Proceedings of the 36th International Conference on Software Engineering, 2014

Management of Time Requirements in Component-Based Systems.

Yi Li, Tian Huat Tan, Marsha Chechik

Proceedings of the FM 2014: Formal Methods, 2014

2013

Dynamic synthesis of local time requirement for service composition.

Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen

Proceedings of the 35th International Conference on Software Engineering, 2013

Verification of Functional and Non-functional Requirements of Web Service Composition.

Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li

Proceedings of the Formal Methods and Software Engineering, 2013

2011

Verification of Orchestration Systems Using Compositional Partial Order Reduction.

Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Towards Verification of a Service Orchestration Language.

Tian Huat Tan

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Model-Based Methods for Linking Web Service Choreography and Orchestration.

Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010