Bounded expectations: resource analysis for probabilistic programs

• Highly Incremental: A Simple Programmatic Approach for Many Objectives

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

  1

  citations
• Caesar: A Deductive Verifier for Probabilistic Programs

  2026 Lecture notes in computer science conference-paper Open access

  0

  citations
• Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting

  2025 International Symposium on Principles and Practice of Declarative Programming (PPDP) conference-paper Computer Science Logic, programming, and type systems Open access

  1

  citations
• Quantifier Elimination and Craig Interpolation: The Quantitative Way

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

  0

  citations
• Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting

  2024 Lecture notes in computer science conference-paper Computer Science Natural Language Processing Techniques

  0

  citations
• Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)

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

  6

  citations
• From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting

  2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  2

  citations
• A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting

  2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  2

  citations
• A Deductive Verification Infrastructure for Probabilistic Programs

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

  22

  citations
• A Calculus for Amortized Expected Runtimes

  2023 Proceedings of the ACM on Programming Languages article Computer Science Parallel Computing and Optimization Techniques Open access

  22

  citations
• Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs

  2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  7

  citations
• The probabilistic termination tool amber

  2022 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  5

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

  2021 other Computer Science Formal Methods in Verification

  2

  citations
• Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

  2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  33

  citations
• Automated Termination Analysis of Polynomial Probabilistic Programs

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

  31

  citations
• Latticed k-Induction with an Application to Probabilistic Programs

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

  21

  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
• The Probabilistic Termination Tool Amber

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

  15

  citations

18 results