Philipp Schröer

Computer Science · Physical Sciences

1h-index19citations6works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(5), Logic, programming, and type systems(4), Software Testing and Debugging Techniques(3), Cryptography and Data Security(1), Privacy-Preserving Technologies in Data(1)

Publications6 total

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
ArXiv.org·2025Open Access
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arXiv (Cornell University)·2025Open Access
Symbolic Quantitative Information Flow for Probabilistic Programs
Lecture notes in computer science·2024Open Access
A Deductive Verification Infrastructure for Probabilistic Programs
Proceedings of the ACM on Programming Languages·2023· 19 citedOpen Access
Latticed k-Induction with an Application to Probabilistic Programs
Lecture notes in computer science·2021Open Access
PrIC3: Property Directed Reachability for MDPs
Lecture notes in computer science·2020Open Access

Frequent Co-authors

Kevin Batz(3), Benjamin Lucien Kaminski(3), Joost-Pieter Katoen(3), Christoph Matheja(3), Darion Haase(2), Joost-Pieter Katoen(2), Sebastian Junges(1), Francesca Randone(1), Raúl Pardo(1), Andrzej Wąsowski(1), Mingshuai Chen(1)