Philipp Schröer

According to our database, Philipp Schröer authored at least 8 papers between 2020 and 2026.

Collaborative distances:

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

2026

Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version).

Philipp Schröer, Joost-Pieter Katoen

CoRR, March, 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

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

Symbolic Quantitative Information Flow for Probabilistic Programs.

Philipp Schröer, Francesca Randone, Raúl Pardo, Andrzej Wasowski

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

A Deductive Verification Infrastructure for Probabilistic Programs.

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Proc. ACM Program. Lang., October, 2023

A Deductive Verification Infrastructure for Probabilistic Programs - Artifact Evaluation.

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Dataset, July, 2023

2021

Latticed k-Induction with an Application to Probabilistic Programs.

Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

PrIC3: Property Directed Reachability for MDPs.

Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020