| 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 | 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 | 46 | 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 | 33 | 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 | 26 | 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 | 3 | 2017 |
| 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 | 3 | 2016 |
| Verification of Functional and Non-functional Requirements of Web Service Composition. Formal Methods and Software Engineering= MM Chen, TH Tan, J Sun, Y Liu, J Pang, XH Li Lecture Notes in Computer Science, 2013 | 2 | 2013 |
| 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 (4), 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 International Conference on Formal Engineering Methods, 363-382, 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 | |
| Service adaptation with probabilistic partial models.(2016) M CHEN, TH TAN, J SUN, J WANG, Y LIU, J SUN, JS DONG Proceedings of the 18th International Conference on Formal Engineering …, 2016 | | 2016 |
| 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 Y Liu, M Chen, JS Dong Formal Methods and Software Engineering, 363, 0 | | |
| Optimizing selection of competing features via feedback-directed evolutionary algorithms.(2015) TH TAN, Y XUE, M CHEN, J SUN, Y LIU, JSD DONG Proceedings of the 2015 International Symposium on Software Testing and …, 0 | | |
| 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 | | |
