From

Institution

Field

Type

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

Reset

Papers matching “probabilistic programs” 118

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Joost-Pieter Katoen

6

citations
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Joost-Pieter Katoen

1

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
Counterexample-guided inductive synthesis for probabilistic systems
2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

7

citations
Tabular: Probabilistic Inference from the Spreadsheet
2020 Cambridge University Press eBooks book-chapter Computer Science Bayesian Modeling and Causal Inference

Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Thore Graepel, Daniel Tarlow

0

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

1

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

0

citations
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

1

citations
The probabilistic termination tool amber
2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

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

5

citations
The Probabilistic Termination Tool Amber
2021 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
Towards Concurrent Quantitative Separation Logic
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll

3

citations
J-P: MDP. FP. PP
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler

2

citations
Does a Program Yield the Right Distribution?
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

14

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Marcel Hark

1

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

1

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

citations
EduCrypt: an educational tool for learning game-based cryptographic proofs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Teaching and Learning Programming Open access

Jonas Broeckmann

0

citations
Facing Uncertainty in AI: From Formal Verification To Synthesis
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations
Deciding Termination of Simple Randomized Loops
2025 Leibniz international proceedings in informatics article Computer Science Logic, programming, and type systems Open access

Éléanore Meyer, Jürgen Giesl

0

citations
Weighted programming: a programming paradigm for specifying mathematical models
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

18

citations
Weighted Programming
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen

0

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

21

citations