Author of the publication

Computing the Expected Execution Time of Probabilistic Workflow Nets.

, , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 154-171. Springer, (2019)

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

Computing the Expected Execution Time of Probabilistic Workflow Nets., , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 154-171. Springer, (2019)#conference.Strix: Explicit Reactive Synthesis Strikes Back!, , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 578-586. Springer, (2018)Solving Mean-Payoff Games on the GPU., and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 262-267. (2016)An SMT-Based Approach to Coverability Analysis., , , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 603-619. Springer, (2014)An SMT-based Approach to Fair Termination Analysis., and . FMCAD, page 49-56. IEEE, (2015)Infinite probability computation by cyclic explanation graphs., and . CoRR, (2013)Constraint-based Analysis of Distributed Systems.. Technical University of Munich, Germany, (2021)Tabling for infinite probability computation., and . ICLP (Technical Communications), volume 17 of LIPIcs, page 348-358. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Computing the Expected Execution Time of Probabilistic Workflow Nets., , and . CoRR, (2018)Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs, , , and . Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science, page 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.