Tian Huat Tan

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