From

Institution

Field

Type

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

Reset

Papers matching “probabilistic programs” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

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

1

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

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

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

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

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

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

0

citations
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software 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: Artifact
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

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

0

citations

6 results