Christoph Matheja

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Probabilistic program verification via inductive synthesis of inductive invariants	2024-04-05	Paper
Effective entailment checking for separation logic with inductive definitions Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Foundations for entailment checking in quantitative separation logic Programming Languages and Systems	2023-08-03	Paper
Rule-based conditioning of probabilistic data Lecture Notes in Computer Science	2023-07-28	Paper
Graph-based shape analysis beyond context-freeness Software Engineering and Formal Methods	2023-05-05	Paper
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions ACM Transactions on Computational Logic	2023-02-07	Paper
Latticed \(k\)-induction with an application to probabilistic programs (available as arXiv preprint)	2022-03-25	Paper
Expected Runtime Analyis by Program Verification Foundations of Probabilistic Programming	2021-02-16	Paper
\textsf{PrIC3}: property directed reachability for MDPs (available as arXiv preprint)	2021-02-09	Paper
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times (available as arXiv preprint)	2019-09-13	Paper
On the hardness of analyzing probabilistic programs Acta Informatica	2019-03-21	Paper
Weakest precondition reasoning for expected runtimes of randomized algorithms Journal of the ACM	2019-02-25	Paper
Reasoning about Recursive Probabilistic Programs Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Inferring covariances for probabilistic programs (available as arXiv preprint)	2018-01-11	Paper
Unified reasoning about robustness properties of symbolic-heap separation logic Programming Languages and Systems	2017-05-19	Paper
Weakest precondition reasoning for expected run-times of probabilistic programs Programming Languages and Systems	2016-04-26	Paper
Tree-like grammars and separation logic Programming Languages and Systems	2016-01-08	Paper

Research outcomes over time

This page was built for person: Christoph Matheja