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

Inferring Covariances for Probabilistic Programs., , and . QEST, volume 9826 of Lecture Notes in Computer Science, page 191-206. Springer, (2016)Local Reasoning about Parameterized Reconfigurable Distributed Systems., , , and . CoRR, (2021)Delayed Nondeterminism in Continuous-Time Markov Decision Processes., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 364-379. Springer, (2009)The Probabilistic Model Checking Landscape.. LICS, page 31-45. ACM, (2016)Reasoning about Recursive Probabilistic Programs., , , and . LICS, page 672-681. ACM, (2016)Performance Evaluation of Concurrent Data Structures., , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 38-49. (2016)Finding Provably Optimal Markov Chains., , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 173-190. Springer, (2021)Partial Order Models for Quantitative Extensions of LOTOS., , , and . Comput. Networks, 30 (9-10): 925-950 (1998)Approximate Model Checking of Stochastic Hybrid Systems., , , and . Eur. J. Control, 16 (6): 624-641 (2010)Generative Datalog with Continuous Distributions., , , and . J. ACM, 69 (6): 46:1-46:52 (2022)