Author of the publication

A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems.

, , , and . SCSS, volume 45 of EPiC Series in Computing, page 107-119. EasyChair, (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)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)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)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)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)Parallel construction of the Symbolic Observation Graph., , and . HPCS, page 1011-1013. IEEE, (2019)