Author of the publication

Contractually Compliant Service Compositions.

, , and . ICSOC, volume 7084 of Lecture Notes in Computer Science, page 636-644. Springer, (2011)

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

A Framework for Modeling Cloud Infrastructures and User Interactions., , , , and . IEEE Access, (2019)WST: a tool supporting timed composite Web Services Model transformation., , , , and . Simul., 88 (3): 349-364 (2012)Contractually Compliant Service Compositions., , and . ICSOC, volume 7084 of Lecture Notes in Computer Science, page 636-644. Springer, (2011)Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets., , , and . Softw. Syst. Model., 18 (5): 2973-3003 (2019)Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets., , , , and . Softw. Syst. Model., 20 (2): 505-538 (2021)Time Ordering Architecture in SCA., , , , and . TAMoCo, volume 201 of Frontiers in Artificial Intelligence and Applications, page 117-126. IOS Press, (2009)Studying the Impact of the User Subscription Times in Different Cloud Configurations., , , , , and . SEKE, page 211-216. KSI Research Inc., (2021)Formal Passive Testing of Service-Oriented Systems., , and . IEEE SCC, page 610-613. IEEE Computer Society, (2010)Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets., , , and . IEEE Access, (2018)Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review., , , and . J. Univers. Comput. Sci., 25 (7): 740-763 (2019)