FORMAL ANALYSIS OF WEB SERVICE COMPOSITION

by CHEN MANMAN
Published 2015

Verification of functional and non-functional requirements of web service composition

by CHEN, Manman, TAN, Tian Huat, SUN, Jun, LIU, Yang, PANG, Jun, LI, Xiaohong
Published 2013

Automated runtime recovery for QoS-based service composition

by TAN, Tian Huat, CHEN, Manman, ANDRÉ, Étienne, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2014

Dynamic synthesis of local time requirement for service composition

by TAN, Tian Huat, ANDRÉ, Étienne, SUN, Jun, LIU, Yang, DONG, Jin Song, CHEN, Manman
Published 2013

IBED: Combining IBEA and DE for optimal feature selection in software product line engineering

by XUE, Yinxing, ZHONG, Jinghui, TAN, Tian Huat, LIU, Yang, CAI, Wentong, CHEN, Manman, SUN, Jun
Published 2016

Optimizing selection of competing features via feedback-directed evolutionary algorithms

by TAN, Tian Huat, XUE, Yinxing, CHEN, Manman, SUN, Jun, LIU, Yang, DONG, Jin Song Dong
Published 2015

Automated synthesis of local time requirement for service composition

by André, Étienne, Tan, Tian Huat, Chen, Manman, Liu, Shuang, Sun, Jun, Liu, Yang, Dong, Jin Song
Published 2021

Automated synthesis of local time requirement for service composition

by ANDRÉ, Étienne, TAN, Tian Huat, CHEN, Manman, LIU, Shuang, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2020

Automated synthesis of local time requirement for service composition

by ANDRÉ, Étienne, TAN, Tian Huat, CHEN, Manman, LIU, Shuang, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2020

Service adaptation with probabilistic partial models

by CHEN, Manman, TAN, Tian Huat, SUN, Jun, WANG, Jingyi, LIU, Yang, SUN, Jing, DONG, Jin Song
Published 2016

Optimizing selection of competing services with probabilistic hierarchical refinement

by TAN, Tian Huat, CHEN, Manman, SUN, Jun, LIU, Yang, ANDRÉ, Étienne, XUE, Yinxing, DONG, Jin Song
Published 2016

Scaling BDD-based timed verification with simulation reduction

by NGUYEN, Truong Khanh, TAN, Tian Huat, SUN, Jun, LI, Jiaying, LIU, Yang, CHEN, Manman, DONG, Jin Song
Published 2016