Manman Chen
Manman Chen
Verified email at comp.nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
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
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
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
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–10