Publications

2023

Preprint
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
PDF of A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)RWTH record for A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)BibTeX for A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Journal article
A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Proceedings of the ACM on programming languages
PDF of A Deductive Verification Infrastructure for Probabilistic Programs RWTH record for A Deductive Verification Infrastructure for Probabilistic Programs BibTeX for A Deductive Verification Infrastructure for Probabilistic Programs
Conference paper
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
Tobias Winkler, Joost-Pieter Katoen
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
RWTH record for On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata BibTeX for On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
Conference paper
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Tobias Winkler, Joost-Pieter Katoen
Tools and Algorithms for the Construction and Analysis of Systems
PDF of Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration RWTH record for Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration BibTeX for Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Proceedings
22. Kolloquium Programmiersprachen und Grundlagen der Programmierung
RWTH Aachen University, Department of Computer Science
PDF of 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung RWTH record for 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung BibTeX for 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung
Conference paper
A Practitioner’s Guide to MDP Model Checking Algorithms
Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger
Tools and Algorithms for the Construction and Analysis of Systems
RWTH record for A Practitioner’s Guide to MDP Model Checking Algorithms BibTeX for A Practitioner’s Guide to MDP Model Checking Algorithms
Journal article
Automatically Finding the Right Probabilities in Bayesian Networks
Bahare Salmani Barzoki, Joost-Pieter Katoen
Journal of artificial intelligence research
PDF of Automatically Finding the Right Probabilities in Bayesian Networks RWTH record for Automatically Finding the Right Probabilities in Bayesian Networks BibTeX for Automatically Finding the Right Probabilities in Bayesian Networks
Conference paper
Search and Explore: Symbiotic Policy Synthesis in POMDPs
Roman Andriushchenko, Alexander Nikolai Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
Computer Aided Verification
PDF of Search and Explore: Symbiotic Policy Synthesis in POMDPs RWTH record for Search and Explore: Symbiotic Policy Synthesis in POMDPs BibTeX for Search and Explore: Symbiotic Policy Synthesis in POMDPs
Journal article
First three years of the international verification of neural networks competition (VNN-COMP)
Christopher Jan-Steffen Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
International journal on software tools for technology transfer
PDF of First three years of the international verification of neural networks competition (VNN-COMP)RWTH record for First three years of the international verification of neural networks competition (VNN-COMP)BibTeX for First three years of the international verification of neural networks competition (VNN-COMP)
Journal article
Lower Bounds for Possibly Divergent Probabilistic Programs
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
Proceedings of the ACM on programming languages
PDF of Lower Bounds for Possibly Divergent Probabilistic Programs RWTH record for Lower Bounds for Possibly Divergent Probabilistic Programs BibTeX for Lower Bounds for Possibly Divergent Probabilistic Programs
Conference paper
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Tools and Algorithms for the Construction and Analysis of Systems
PDF of Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants RWTH record for Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants BibTeX for Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Journal article
A Calculus for Amortized Expected Runtimes
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
Proceedings of the ACM on programming languages
PDF of A Calculus for Amortized Expected Runtimes RWTH record for A Calculus for Amortized Expected Runtimes BibTeX for A Calculus for Amortized Expected Runtimes
Preprint
Exact Probabilistic Inference Using Generating Functions
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
PDF of Exact Probabilistic Inference Using Generating Functions RWTH record for Exact Probabilistic Inference Using Generating Functions BibTeX for Exact Probabilistic Inference Using Generating Functions

2022

Conference paper
Identification of Bottlenecks in Rail Infrastructure
Wiebke Lenze, Bastian Kogel, Simon Schotten, Thorsten Büker, Thomas Noll, Philipp Berger, Mario Fietze
Proceedings of the Fifth International Conference on Railway Technology: Research, Development and Maintenance Edited by J. Pombo Civil-Comp Conferences. - Volume 1
RWTH record for Identification of Bottlenecks in Rail Infrastructure BibTeX for Identification of Bottlenecks in Rail Infrastructure
Journal article
The probabilistic termination tool amber
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Formal methods in system design
PDF of The probabilistic termination tool amber RWTH record for The probabilistic termination tool amber BibTeX for The probabilistic termination tool amber
Book chapter
Parameter Synthesis in Markov Models: A Gentle Survey
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Principles of systems design
RWTH record for Parameter Synthesis in Markov Models: A Gentle Survey BibTeX for Parameter Synthesis in Markov Models: A Gentle Survey
Journal article
Reasoning about distributed reconfigurable systems
Emma Katharina Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen
Proceedings of the ACM on programming languages
RWTH record for Reasoning about distributed reconfigurable systems BibTeX for Reasoning about distributed reconfigurable systems
Conference paper
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga
NASA Formal Methods
RWTH record for BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees BibTeX for BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees
Journal article
Convex Optimization for Parameter Synthesis in MDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
IEEE transactions on automatic control
RWTH record for Convex Optimization for Parameter Synthesis in MDPs BibTeX for Convex Optimization for Parameter Synthesis in MDPs
Journal article
Generative Datalog with Continuous Distributions
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
Journal of the ACM
RWTH record for Generative Datalog with Continuous Distributions BibTeX for Generative Datalog with Continuous Distributions
Journal article
Scenario-based verification of uncertain parametric MDPs
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
International journal on software tools for technology transfer
PDF of Scenario-based verification of uncertain parametric MDPs RWTH record for Scenario-based verification of uncertain parametric MDPs BibTeX for Scenario-based verification of uncertain parametric MDPs
Conference paper
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining
Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel
Formal Methods for Industrial Critical Systems
RWTH record for Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining BibTeX for Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining
Conference paper
POMDP Controllers with Optimal Budget
Jip Josephine Spel, Svenja Maria Stein, Joost-Pieter Katoen
Quantitative evaluation of systems
RWTH record for POMDP Controllers with Optimal Budget BibTeX for POMDP Controllers with Optimal Budget
Journal article
Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
Information and computation
RWTH record for Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming BibTeX for Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming
Technical report
50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild
RWTH record for 50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild BibTeX for 50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild