Suivre
Tian Huat Tan
Tian Huat Tan
Adresse e-mail validée de ibm.com - Page d'accueil
Titre
Citée par
Citée par
Année
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
902017
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
582015
Verification of functional and non-functional requirements of web service composition
M Chen, TH Tan, J Sun, Y Liu, J Pang, X Li
Formal Methods and Software Engineering: 15th International Conference on …, 2013
502013
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
452015
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
442016
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
432014
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
302013
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
292014
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
272010
Optimizing selection of competing services with probabilistic hierarchical refinement
TH Tan, M Chen, J Sun, Y Liu, É André, Y Xue, JS Dong
Proceedings of the 38th International Conference on Software Engineering, 85-95, 2016
242016
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
172018
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
172016
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
172011
Management of time requirements in component-based systems
Y Li, TH Tan, M Chechik
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
122014
Towards verification of a service orchestration language
TH Tan
2010 Fourth International Conference on Secure Software Integration and …, 2010
52010
Service adaptation with probabilistic partial models
M Chen, TH Tan, J Sun, J Wang, Y Liu, J Sun, JS Dong
Formal Methods and Software Engineering: 18th International Conference on …, 2016
32016
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
22017
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 19, 983-1013, 2020
12020
Scaling BDD-based Timed Verification with Simulation Reduction
TK Nguyen, TH Tan, J Sun, J Li, Y Liu, M Chen, JS Dong
Formal Methods and Software Engineering: 18th International Conference on …, 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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20