| 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 |
| 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 |
| 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 | 24 | 2016 |
| 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 | |
| Automated runtime recovery for QoS-based service composition.(2014) TH TAN, M CHEN, É ANDRÉ, J SUN, Y LIU, JS DONG Proceedings of the 23rd International World Wide Web Conference, Seoul …, 2014 | | 2014 |
| Scaling BDD-based timed verification with simulation reduction.(2016) TK NGUYEN, TH TAN, J SUN, J LI, Y LIU, M CHEN, JS DONG Proceedings of the 2015 International Symposium on Software Testing and …, 0 | | |
