Tian Huat Tan
Tian Huat Tan
Verified email at ibm.com - Homepage
TitleCited byYear
Optimizing selection of competing features via feedback-directed evolutionary algorithms
TH Tan, Y Xue, M Chen, J Sun, Y Liu, JS Dong
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
322015
Verification of functional and non-functional requirements of web service composition
M Chen, TH Tan, J Sun, Y Liu, J Pang, X Li
International Conference on Formal Engineering Methods, 313-328, 2013
312013
Auditing anti-malware tools by evolving Android malware and dynamic loading technique
Y Xue, G Meng, Y Liu, TH Tan, H Chen, J Sun, J Zhang
IEEE Transactions on Information Forensics and Security 12 (7), 1529-1544, 2017
272017
Automated runtime recovery for QoS-based service composition
TH Tan, M Chen, É André, J Sun, Y Liu, JS Dong
Proceedings of the 23rd international conference on World wide web, 563-574, 2014
262014
Dynamic synthesis of local time requirement for service composition
TH Tan, É André, J Sun, Y Liu, JS Dong, M Chen
2013 35th International Conference on Software Engineering (ICSE), 542-551, 2013
252013
Model-based methods for linking web service choreography and orchestration
J Sun, Y Liu, JS Dong, G Pu, TH Tan
Software Engineering Conference (APSEC), 2010 17th Asia Pacific, 166-175, 2010
242010
Jsdc: A hybrid approach for javascript malware detection and classification
J Wang, Y Xue, Y Liu, TH Tan
Proceedings of the 10th ACM Symposium on Information, Computer and …, 2015
232015
Veriws: a tool for verification of combined functional and non-functional requirements of web service composition
M Chen, TH Tan, J Sun, Y Liu, JS Dong
Companion Proceedings of the 36th International Conference on Software …, 2014
232014
IBED: Combining IBEA and DE for optimal feature selection in software product line engineering
Y Xue, J Zhong, TH Tan, Y Liu, W Cai, M Chen, J Sun
Applied Soft Computing 49, 1215-1231, 2016
212016
Optimizing selection of competing services with probabilistic hierarchical refinement
TH Tan, M Chen, J Sun, Y Liu, É André, Y Xue, JS Dong
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
162016
Verification of orchestration systems using compositional partial order reduction
T Tan, Y Liu, J Sun, J Dong
Formal Methods and Software Engineering, 98-114, 2011
152011
Management of time requirements in component-based systems
Y Li, TH Tan, M Chechik
International Symposium on Formal Methods, 399-415, 2014
102014
CrowdService: optimizing mobile crowdsourcing and service composition
X Peng, J Gu, TH Tan, J Sun, Y Yu, B Nuseibeh, W Zhao
ACM Transactions on Internet Technology (TOIT) 18 (2), 1-25, 2018
72018
CrowdService: serving the individuals through mobile crowdsourcing and service composition
X Peng, J Gu, TH Tan, J Sun, Y Yu, B Nuseibeh, W Zhao
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
72016
Towards verification of a service orchestration language
TH Tan
2010 Fourth International Conference on Secure Software Integration and …, 2010
62010
Jsfox: integrating static and dynamic type analysis of javascript programs
TH Tan, Y Xue, M Chen, S Liu, Y Yu, J Sun
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
12017
Service adaptation with probabilistic partial models
M Chen, TH Tan, J Sun, J Wang, Y Liu, J Sun, JS Dong
International Conference on Formal Engineering Methods, 122-140, 2016
12016
Automated synthesis of local time requirement for service composition
TH Tan, É André, M Chen, J Sun, Y Liu, JS Dong, L Yuan
Submitted to TSE 1, 0
1
Scaling BDD-based Timed Verification with Simulation Reduction
TK Nguyen, TH Tan, J Sun, J Li, Y Liu, M Chen, JS Dong
International Conference on Formal Engineering Methods, 363-382, 2016
2016
Manman Chen
TH Tan
Conference on Formal Engineering Methods (ICFEM) 313, 328, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20