Author of the publication

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.

, , , , and . IEEE SCC, page 427-434. IEEE Computer Society, (2009)

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

Operational calibration: debugging confidence errors for DNNs in the field., , , , , and . ESEC/SIGSOFT FSE, page 901-913. ACM, (2020)A middleware platform for the dynamic evolution of distributed component-based systems., , and . Computing, 96 (8): 725-747 (2014)Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing., , , and . MobiQuitous, volume 104 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 285-297. Springer, (2011)Architecting and implementing distributed Web applications using the graph-oriented approach, , , and . Softw. Pract. Exper., 33 (9): 799--820 (July 2003)Review: Application mobility in pervasive computing: A survey, , , and . Pervasive Mob. Comput., 9 (1): 2--17 (February 2013)Effectively Manifesting Concurrency Bugs in Android Apps., , , , , , and . APSEC, page 209-216. IEEE Computer Society, (2016)Testing Android Apps via Guided Gesture Event Generation., , , , , and . APSEC, page 201-208. IEEE Computer Society, (2016)Improving Reliability of Dynamic Software Updating Using Runtime Recovery., , , , , and . APSEC, page 257-264. IEEE Computer Society, (2016)ARTEMIS: an open coordination middleware system., , , and . Internetware, page 20. ACM, (2009)COCO: consistency analysis of process-driven internetware applications., , , , and . Internetware, page 30:1-30:4. ACM, (2013)