Verification of Functional and Non-functional Requirements of Web Service Composition. - Manman Chen; Tian Huat Tan; Jun Sun 001; Yang Liu 003; Jun Pang 001; Xiaohong Li 001 (ICFEM, 2013)

Dynamic synthesis of local time requirement for service composition. - Tian Huat Tan; Étienne André; Jun Sun 001; Yang Liu 003; Jin Song Dong; Manman Chen (ICSE, 2013)

VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. - Manman Chen; Tian Huat Tan; Jun Sun 001; Yang Liu 003; Jin Song Dong (ICSE Companion, 2014)

Automated runtime recovery for QoS-based service composition. - Tian Huat Tan; Manman Chen; Étienne André; Jun Sun 001; Yang Liu 003; Jin Song Dong (WWW, 2014)

Optimizing selection of competing features via feedback-directed evolutionary algorithms. - Tian Huat Tan; Yinxing Xue; Manman Chen; Jun Sun 001; Yang Liu 003; Jin Song Dong (ISSTA, 2015)

Service Adaptation with Probabilistic Partial Models. - Manman Chen; Tian Huat Tan; Jun Sun 001; Jingyi Wang 004; Yang Liu 003; Jing Sun 002; Jin Song Dong (ICFEM, 2016)

Scaling BDD-based Timed Verification with Simulation Reduction. - Truong Khanh Nguyen; Tian Huat Tan; Jun Sun 001; Jiaying Li 001; Yang Liu 003; Manman Chen; Jin Song Dong (ICFEM, 2016)

Optimizing selection of competing services with probabilistic hierarchical refinement. - Tian Huat Tan; Manman Chen; Jun Sun 001; Yang Liu 003; Étienne André; Yinxing Xue; Jin Song Dong (ICSE, 2016)

IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. - Yinxing Xue; Jinghui Zhong; Tian Huat Tan; Yang Liu 003; Wentong Cai 001; Manman Chen; Jun Sun 001 (Appl. Soft Comput., 2016)

JSFox: integrating static and dynamic type analysis of JavaScript programs. - Tian Huat Tan; Yinxing Xue; Manman Chen; Shuang Liu 007; Yi Yu 001; Jun Sun 001 (ICSE (Companion Volume), 2017)

A utility threshold model of herding-panic behavior in evacuation under emergencies based on complex network theory. - Jinghong Wang; Manman Chen; Wenyu Yan; Youran Zhi; Zhirong Wang (Simul., 2017)

Hyper-Spectral Image Classification by Multi-layer Deep Convolutional Neural Networks. - Tao Chi; Yang Wang; Ming Chen; Manman Chen (IntelliSys (1), 2019)

A smart Internet of Things-based mechanism for wireless communications in NoC. - Tao Chi; Manman Chen; Ming Chen; Haowei Yan (Int. J. Distributed Sens. Networks, 2019)

Automated synthesis of local time requirement for service composition. - Étienne André; Tian Huat Tan; Manman Chen; Shuang Liu 007; Jun Sun 001; Yang Liu 003; Jin Song Dong (Softw. Syst. Model., 2020)

Leveraging Data Augmentation for Service QoS Prediction in Cyber-physical Systems. - Yuyu Yin; Haoran Xu; Tingting Liang; Manman Chen; Honghao Gao; Antonella Longo (ACM Trans. Internet Techn., 2021)

Analysis of SARS-CoV-2 High Infection Spread in India Based on SIRD Model and Structural Insights. - Manman Chen (BIC, 2022)

Recurrent Neural Network Based Collaborative Filtering for QoS Prediction in IoV. - Tingting Liang; Manman Chen; Yuyu Yin; Li Zhou 008; Haochao Ying (IEEE Trans. Intell. Transp. Syst., 2022)