Philipp Schröer

11 papers Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing.
ESOP (2)
Philipp Schröer, Darion Haase, Joost-Pieter Katoen
2026 J jnl
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version).
CoRR
Philipp Schröer, Joost-Pieter Katoen
2025 J jnl
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version).
CoRR
Philipp Schröer, Darion Haase, Joost-Pieter Katoen
2024 — conf
Symbolic Quantitative Information Flow for Probabilistic Programs.
Principles of Verification (1)
Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski
2024 J jnl
Symbolic Quantitative Information Flow for Probabilistic Programs.
CoRR
Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski
2023 J jnl
A Deductive Verification Infrastructure for Probabilistic Programs.
CoRR
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2023 J jnl
A Deductive Verification Infrastructure for Probabilistic Programs.
Proc. ACM Program. Lang.
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
2021 — conf
Latticed k-Induction with an Application to Probabilistic Programs.
CAV (2)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2021 J jnl
Latticed k-Induction with an Application to Probabilistic Programs.
CoRR
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2020 — conf
PrIC3: Property Directed Reachability for MDPs.
CAV (2)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
2020 J jnl
PrIC3: Property Directed Reachability for MDPs.
CoRR
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer