From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “probabilistic programs” 123

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

0

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

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
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

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

2

citations
Leakage-Free Probabilistic Jasmin Programs
2025 conference-paper Computer Science Security and Verification in Computing Open access

José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh

0

citations
Multiobjective Preexpectation Reasoning for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Lena Verscht, Hannah Mertens, Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

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

Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

21

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

13

citations
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

0

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

Fabian Meyer, Marcel Hark, Jürgen Giesl

20

citations
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

1

citations
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský

21

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

11

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

1

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

9

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

citations
A Debugger for Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Alexander Hoppen, Thomas Noll

2

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marcel Hark, Jürgen Giesl

0

citations
Verifying Probabilistic Programs
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Symbolic Quantitative Information Flow for Probabilistic Programs
2024 Lecture notes in computer science conference-paper Computer Science Privacy-Preserving Technologies in Data Open access

Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wąsowski

0

citations
Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Daniel Basgöze, Kevin Batz, Sebastian Junges, Joost-Pieter Katoen

0

citations
Exact Probabilistic Inference Using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

Lutz Klinkenberg, Mingshuai Chen, Joost-Pieter Katoen

1

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Correction to: Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2025 Lecture notes in computer science erratum Computer Science Formal Methods in Verification Open access

Dominik Geißler, Tobias Winkler

0

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Bayesian Modeling and Causal Inference

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations