Author of the publication

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking.

, , , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 336-350. 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

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)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)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)Formal Modeling and Verification of Scalable Process-Aware Distributed IoT Applications., , and . ISPA/BDCloud/SocialCom/SustainCom, page 263-270. IEEE, (2019)MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs., and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 288-306. Springer, (2008)