Author of the publication

Combining Static Analysis and Testing for Deadlock Detection.

, , and . IFM, volume 9681 of Lecture Notes in Computer Science, page 409-424. Springer, (2016)

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

Conditional dynamic partial order reduction and optimality results.. ISSTA, page 433-437. ACM, (2019)On the Generation of Initial Contexts for Effective Deadlock Detection., , and . CoRR, (2017)Deadlock-Guided Testing., and . IEEE Access, (2021)Distilling Constraints in Zero-Knowledge Protocols., , , , and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 430-443. Springer, (2022)Generation of Initial Contexts for Effective Deadlock Detection., , and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 3-19. Springer, (2017)Optimal context-sensitive dynamic partial order reduction with observers., , , , and . ISSTA, page 352-362. ACM, (2019)Constrained Dynamic Partial Order Reduction., , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 392-410. Springer, (2018)Testing of Concurrent Programs.. ICLP (Technical Communications), volume 52 of OASIcs, page 18:1-18:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Circom: A Circuit Description Language for Building Zero-Knowledge Applications., , , , and . IEEE Trans. Dependable Secur. Comput., 20 (6): 4733-4751 (November 2023)SYCO: a systematic testing tool for concurrent objects., , and . CC, page 269-270. ACM, (2016)