Author of the publication

Computing Quantified Opacity for SOG-Abstracted Web Services.

, , and . SCC, page 362-369. IEEE Computer Society, (2017)

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

An Observation-based Algorithm for Workflow Matching., , and . MSVVEIS, page 193-197. INSTICC Press, (2006)Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes., , and . Data Knowl. Eng., 70 (5): 467-482 (2011)Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph., , , and . ACSD, page 23-32. IEEE, (2019)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. Serv. Comput., 1 (4): 214-228 (2008)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)Checking Composition-Aware Service Substitutability., and . ISPA/BDCloud/SocialCom/SustainCom, page 845-853. IEEE, (2022)Computing Quantified Opacity for SOG-Abstracted Web Services., , and . SCC, page 362-369. IEEE Computer Society, (2017)A Survey on Formal Verification for Solidity Smart Contracts., , , and . ACSW, page 3:1-3:10. ACM, (2021)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)