Author of the publication

Automatic Translation of WS-CDL Choreographies to Timed Automata.

, , , , and . EPEW/WS-FM, volume 3670 of Lecture Notes in Computer Science, page 230-242. Springer, (2005)

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)Contractually Compliant Service Compositions., , and . ICSOC, volume 7084 of Lecture Notes in Computer Science, page 636-644. Springer, (2011)WST: a tool supporting timed composite Web Services Model transformation., , , , and . Simul., 88 (3): 349-364 (2012)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)Formal Passive Testing of Service-Oriented Systems., , and . IEEE SCC, page 610-613. IEEE Computer Society, (2010)Studying the Impact of the User Subscription Times in Different Cloud Configurations., , , , , and . SEKE, page 211-216. KSI Research Inc., (2021)Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies., , , , and . PeerJ Comput. Sci., (2024)Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets., , , and . IEEE Access, (2018)