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 | 94 | 2017 |
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 | 64 | 2015 |
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 | 50 | 2013 |
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 | 46 | 2016 |
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 | 44 | 2015 |
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 | 44 | 2014 |
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 | 30 | 2013 |
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 | 29 | 2014 |
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 | 27 | 2010 |
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 | 25 | 2016 |
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 | 19 | 2016 |
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 | 17 | 2018 |
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 | 17 | 2011 |
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 | 12 | 2014 |
Towards verification of a service orchestration language TH Tan 2010 Fourth International Conference on Secure Software Integration and …, 2010 | 5 | 2010 |
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 | 3 | 2016 |
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 | 2 | 2017 |
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 | 1 | 2020 |
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 | 1 | 2016 |
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 | |