Author of the publication

Formal Abstraction and Compatibility Checking of Web Services.

, , and . ICWS, page 163-170. IEEE Computer Society, (2013)

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

Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification., , and . PNSE @ Petri Nets, volume 1372 of CEUR Workshop Proceedings, page 315-316. CEUR-WS.org, (2015)An Observation-based Algorithm for Workflow Matching., , and . MSVVEIS, page 193-197. INSTICC Press, (2006)Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph., , , and . ACSD, page 23-32. IEEE, (2019)Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes., , and . BPM, volume 5701 of Lecture Notes in Computer Science, page 294-309. Springer, (2009)Modular construction of the symbolic observation graph., and . ACSD, page 88-97. IEEE, (2008)CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises., , and . IEEE Trans. Services Computing, 1 (4): 214-228 (2008)Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes., , and . Data Knowl. Eng., 70 (5): 467-482 (2011)Formal Modelling and Verification of Cloud Resource Allocation in Business Processes., , , and . OTM Conferences (1), volume 11229 of Lecture Notes in Computer Science, page 552-567. Springer, (2018)Reducing Time and/or Memory Consumption of the SOG Construction in a Parallel Context., , , and . ISPA/IUCC/BDCloud/SocialCom/SustainCom, page 147-154. IEEE, (2018)A New Approach to Abstract Reachability State Space of Time Petri Nets., , and . TIME, page 117-124. IEEE Computer Society, (2013)