Author of the publication

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

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)Optimal dynamic partial order reduction with context-sensitive independence and observers., , , , and . J. Syst. Softw., (August 2023)Generation of Initial Contexts for Effective Deadlock Detection., , and . LOPSTR, volume 10855 of Lecture Notes in Computer Science, page 3-19. Springer, (2017)Actor-based model checking for Software-Defined Networks., , , , , and . J. Log. Algebraic Methods Program., (2021)Conditional dynamic partial order reduction and optimality results.. ISSTA, page 433-437. ACM, (2019)Actor-Based Model Checking for SDN Networks., , , , , and . CoRR, (2020)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)