Darion Haase

According to our database, Darion Haase authored at least 13 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Caesar: A Deductive Verifier for Probabilistic Programs.

Philipp Schröer, Kevin Batz, Umut Yigit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

CoRR, May, 2026

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version).

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

CoRR, January, 2026

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation).

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

Dataset, January, 2026

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation).

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

Dataset, January, 2026

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact.

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Dataset, January, 2026

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing.

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

Proceedings of the Programming Languages and Systems, 2026

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops.

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Proceedings of the Programming Languages and Systems, 2026

2025

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version).

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

CoRR, December, 2025

2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

Dataset, March, 2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

Dataset, January, 2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions.

Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

Proc. ACM Program. Lang., 2024

Unknown Biases and Timing Constraints in Timed Automata.

Darion Haase, Joost-Pieter Katoen

CoRR, 2024

2022

Separation logic and logics with team semantics.

Darion Haase, Erich Grädel, Richard Wilke

Ann. Pure Appl. Log., 2022