Christoph Matheja
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
11
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Caesar: A Deductive Verifier for Probabilistic Programs. | Philipp Schrer, Kevin Batz, Umut Yigit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2026 | ITP | Securing the Foundations of an Intermediate Language for Probabilistic Program Verification. | Oliver Bving, Christoph Matheja |
| 2026 | TACAS | CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems. | Roberto Pettinau, Christoph Matheja |
| 2025 | ICPM | YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets. | Christian Imenkamp, Joscha Grger, Martin Kuhn, Christoph Matheja, Andrey Rivkin, Agnes Koschmider |
| 2024 | BPM | Data Petri Nets Meet Probabilistic Programming. | Martin Kuhn, Joscha Grger, Christoph Matheja, Andrey Rivkin |
| 2024 | CAV | What Should Be Observed for Optimal Reward in POMDPs? | Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja |
| 2024 | ICPM | LogPPL: A Tool for Probabilistic Process Mining. | Martin Kuhn, Joscha Grger, Christoph Matheja, Andrey Rivkin |
| 2024 | VECoS | A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL. | Christoph Matheja |
| 2023 | TACAS | Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2022 | ESOP | Foundations for Entailment Checking in Quantitative Separation Logic. | Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keler, Christoph Matheja, Thomas Noll |
| 2021 | CAV | Latticed k-Induction with an Application to Probabilistic Programs. | Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer |
| 2020 | CAV | PrIC3: Property Directed Reachability for MDPs. | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer |
| 2019 | TACAS | Effective Entailment Checking for Separation Logic with Inductive Definitions. | Jens Katelaan, Christoph Matheja, Florian Zuleger |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, 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, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2018 | CAV | Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. | Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll |
| 2018 | ESOP | How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2018 | LPAR | Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. | Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger |
| 2018 | SEFM | Graph-Based Shape Analysis Beyond Context-Freeness. | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll |
| 2017 | ESOP | Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. | Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger |
| 2016 | ESOP | Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo |
| 2016 | LICS | Reasoning about Recursive Probabilistic Programs. | Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2015 | APLAS | Tree-Like Grammars and Separation Logic. | Christoph Matheja, Christina Jansen, Thomas Noll |