Tian Huat Tan
Tian Huat Tan
Verified email at ibm.com - Homepage
Title
Cited by
Cited by
Year
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
382017
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
362015
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
342013
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
322014
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
302015
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
262016
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
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
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
182016
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
142011
Management of time requirements in component-based systems
Y Li, TH Tan, M Chechik
International Symposium on Formal Methods, 399-415, 2014
112014
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
82018
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
52010
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
Automated synthesis of local time requirement for service composition
É André, TH Tan, M Chen, S Liu, J Sun, Y Liu, JS Dong
Software and Systems Modeling, 1-31, 2020
2020
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
The system can't perform the operation now. Try again later.
Articles 1–20