From

Institution

Field

Type

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

Reset

Papers matching “program verification” 44

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Grani A. Hanasusanto, Huan Zhang

3

citations
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg

1

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Incremental Property Directed Reachability
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Max Blankestijn, Alfons Laarman

0

citations
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

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
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
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Integrating Loop Acceleration into Bounded Model Checking
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

3

citations
Infinite State Model Checking by Learning Transitive Relations
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

1

citations
Automated Termination Proofs for C Programs with Lists (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jera Hensel, Jürgen Giesl

0

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Out of Control: Reducing Probabilistic Models by Control-State Elimination
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Johannes C. Lehmann, Joost-Pieter Katoen

0

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

1

citations
Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more

0

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen

1

citations
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations