Christoph Matheja

Computer Science · Physical Sciences

16h-index752citations60works0.42yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

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

Research Topics

Formal Methods in Verification(40), Logic, programming, and type systems(33), Logic, Reasoning, and Knowledge(15), Software Testing and Debugging Techniques(11), Software Engineering Research(8)

Publications60 total

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
arXiv (Cornell University)·2026Open Access
CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
ArXiv.org·2026Open Access
A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL
Lecture notes in computer science·2024
J-P: MDP. FP. PP
Lecture notes in computer science·2024Open Access
Data Petri Nets meet Probabilistic Programming (Extended version)
arXiv (Cornell University)·2024Open Access
What should be observed for optimal reward in POMDPs?
arXiv (Cornell University)·2024Open Access
LogPPL: A Tool for Probabilistic Process Mining
Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)·2024Open Access
What Should Be Observed for Optimal Reward in POMDPs?
Lecture notes in computer science·2024· 2 citedOpen Access
Data Petri Nets Meet Probabilistic Programming
Lecture notes in computer science·2024· 2 cited
A Deductive Verification Infrastructure for Probabilistic Programs
Proceedings of the ACM on Programming Languages·2023· 19 citedOpen Access
A Calculus for Amortized Expected Runtimes
Proceedings of the ACM on Programming Languages·2023· 21 citedOpen Access
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Lecture notes in computer science·2023· 27 citedOpen Access
A Calculus for Amortized Expected Runtimes
arXiv (Cornell University)·2022Open Access
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
ACM Transactions on Computational Logic·2022· 9 cited
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
arXiv (Cornell University)·2022Open Access
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)
arXiv (Cornell University)·2022Open Access
Foundations for Entailment Checking in Quantitative Separation Logic
Lecture notes in computer science·2022· 4 citedOpen Access
The Prusti Project: Formal Verification for Rust
Lecture notes in computer science·2022· 28 cited
Flexible Refinement Proofs in Separation Logic
Repository for Publications and Research Data (ETH Zurich)·2021Open Access
Flexible Refinement Proofs in Separation Logic
arXiv (Cornell University)·2021Open Access
page 1 of 3Next →

Frequent Co-authors

Joost-Pieter Katoen(28), Benjamin Lucien Kaminski(26), Kevin Batz(12), Thomas Noll(11), Jens Katelaan(8), Florian Zuleger(8), Federico Olmedo(7), Christina Jansen(7), Péter Müller(3), Alexander J. Summers(3), Sebastian Junges(3), Hannah Arndt(3), Joscha Grüger(3), Andrey Rivkin(3), Vytautas Astrauskas(2), Federico Poli(2), Aurel Bílý(2), Mingshuai Chen(2), Lena Verscht(2), Philipp Schröer(2)