W601863383

• Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back

  2025 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

  2

  citations
• Multilevel importance sampling for rare events associated with the McKean–Vlasov equation

  2024 Statistics and Computing article Economics, Econometrics and Finance Stochastic processes and financial applications Open access

  1

  citations
• Model Checking Temporal Properties of Recursive Probabilistic Programs

  2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

  4

  citations
• Generalized parallel tempering on Bayesian inverse problems

  2021 Statistics and Computing article Mathematics Markov Chains and Monte Carlo Methods Open access

  12

  citations
• Markov automata with multiple objectives

  2021 Formal Methods in System Design article Computer Science Formal Methods in Verification

  5

  citations
• Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

  2021 other Computer Science Formal Methods in Verification

  2

  citations
• A pre-expectation calculus for probabilistic sensitivity

  2021 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

  24

  citations
• Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  20

  citations

8 results