Author of the publication

Model-Based Methods for Linking Web Service Choreography and Orchestration.

, , , , and . APSEC, page 166-175. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated synthesis of local time requirement for service composition., , , , , , and . CoRR, (2020)Service Adaptation with Probabilistic Partial Models., , , , , , and . ICFEM, volume 10009 of Lecture Notes in Computer Science, page 122-140. (2016)JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification., , , and . AsiaCCS, page 109-120. ACM, (2015)Model-Based Methods for Linking Web Service Choreography and Orchestration., , , , and . APSEC, page 166-175. IEEE Computer Society, (2010)Towards Verification of a Service Orchestration Language.. SSIRI (Companion), page 36-37. IEEE Computer Society, (2010)Optimizing selection of competing features via feedback-directed evolutionary algorithms., , , , , and . ISSTA, page 246-256. ACM, (2015)JSFox: integrating static and dynamic type analysis of JavaScript programs., , , , , and . ICSE (Companion Volume), page 256-258. IEEE Computer Society, (2017)VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition., , , , and . ICSE Companion, page 564-567. ACM, (2014)Management of Time Requirements in Component-Based Systems., , and . FM, volume 8442 of Lecture Notes in Computer Science, page 399-415. Springer, (2014)CrowdService: serving the individuals through mobile crowdsourcing and service composition., , , , , , and . ASE, page 214-219. ACM, (2016)