Christoph Matheja

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 47

Top Topics

Probabilistic Logic

Randomized Algorithm

Top Venues

Proc. ACM Program. Lang.

Publications

Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin
Data Petri Nets meet Probabilistic Programming (Extended version). CoRR (2024)
Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja
What should be observed for optimal reward in POMDPs? CoRR (2024)
Alyzia-Maria Konsta, Alberto Lluch Lafuente, Christoph Matheja
What Should Be Observed for Optimal Reward in POMDPs? CAV (3) (2024)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
A Calculus for Amortized Expected Runtimes. Proc. ACM Program. Lang. 7 (POPL) (2023)
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A Deductive Verification Infrastructure for Probabilistic Programs. CoRR (2023)
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A Deductive Verification Infrastructure for Probabilistic Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Christoph Matheja, Jens Pagel, Florian Zuleger
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions. ACM Trans. Comput. Log. 24 (1) (2023)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. TACAS (2) (2023)
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. CoRR (2022)
Vytautas Astrauskas, Aurel Bílý, Jonás Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, Alexander J. Summers
The Prusti Project: Formal Verification for Rust. NFM (2022)
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic. ESOP (2022)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
A Calculus for Amortized Expected Runtimes. CoRR (2022)
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic (extended version). CoRR (2022)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning. Proc. ACM Program. Lang. 5 (POPL) (2021)
Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers
Modular specification and verification of closures in Rust. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ira Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. ICGT (2021)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A pre-expectation calculus for probabilistic sensitivity. Proc. ACM Program. Lang. 5 (POPL) (2021)
Aurel Bílý, Christoph Matheja, Peter Müller
Flexible Refinement Proofs in Separation Logic. CoRR (2021)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Latticed k-Induction with an Application to Probabilistic Programs. CAV (2) (2021)
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
Latticed k-Induction with an Application to Probabilistic Programs. CoRR (2021)
Jens Pagel, Christoph Matheja, Florian Zuleger
Complete Entailment Checking for Separation Logic with Inductive Definitions. CoRR (2020)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
PrIC3: Property Directed Reachability for MDPs. CAV (2) (2020)
Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
PrIC3: Property Directed Reachability for MDPs. CoRR (2020)
Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, Alexander J. Summers
How do programmers use unsafe rust? Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Relatively Complete Verification of Probabilistic Programs. CoRR (2020)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jens Katelaan, Christoph Matheja, Florian Zuleger
Effective Entailment Checking for Separation Logic with Inductive Definitions. TACAS (2) (2019)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
On the hardness of analyzing probabilistic programs. Acta Informatica 56 (3) (2019)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Kantorovich Continuity of Probabilistic Programs. CoRR (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. LPAR (Workshop and Short Papers) (2018)
Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. CAV (2) (2018)
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll
Graph-Based Shape Analysis Beyond Context-Freeness. SEFM (2018)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. J. ACM 65 (5) (2018)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. CoRR (2018)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Quantitative Separation Logic. CoRR (2018)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. ESOP (2018)
Maurice van Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen
Rule-Based Conditioning of Probabilistic Data. SUM (2018)
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. ESOP (2017)
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll
Heap Abstraction Beyond Context-Freeness. CoRR (2017)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. ESOP (2016)
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. CoRR (2016)
Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Reasoning about Recursive Probabilistic Programs. LICS (2016)
Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Reasoning about Recursive Probabilistic Programs. CoRR (2016)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. CoRR (2016)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Inferring Covariances for Probabilistic Programs. QEST (2016)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Inferring Covariances for Probabilistic Programs. CoRR (2016)
Christoph Matheja, Christina Jansen, Thomas Noll
Tree-Like Grammars and Separation Logic. APLAS (2015)