Publications

2022

Preprint
Towards Concurrent Quantitative Separation Logic
Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll
PDF of Towards Concurrent Quantitative Separation Logic RWTH record for Towards Concurrent Quantitative Separation Logic BibTeX for Towards Concurrent Quantitative Separation Logic
Conference paper
Towards Concurrent Quantitative Separation Logic
Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll
33rd International Conference on Concurrency Theory (CONCUR 2022)
PDF of Towards Concurrent Quantitative Separation Logic RWTH record for Towards Concurrent Quantitative Separation Logic BibTeX for Towards Concurrent Quantitative Separation Logic
Conference paper
Configurable Benchmarks for C Model Checkers
Xaver Fink, Philipp Berger, Joost-Pieter Katoen
NASA Formal Methods
RWTH record for Configurable Benchmarks for C Model Checkers BibTeX for Configurable Benchmarks for C Model Checkers
Conference paper
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Computer Aided Verification
PDF of Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions RWTH record for Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions BibTeX for Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Journal article
Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen"
Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger
Eisenbahntechnische Rundschau
RWTH record for Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen"BibTeX for Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen"
Journal article
Weighted programming : a programming paradigm for specifying mathematical models
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
Proceedings of the ACM on programming languages
PDF of Weighted programming : a programming paradigm for specifying mathematical models RWTH record for Weighted programming : a programming paradigm for specifying mathematical models BibTeX for Weighted programming : a programming paradigm for specifying mathematical models
Conference paper
Under-Approximating Expected Total Rewards in POMDPs
Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann
Tools and Algorithms for the Construction and Analysis of Systems
PDF of Under-Approximating Expected Total Rewards in POMDPs RWTH record for Under-Approximating Expected Total Rewards in POMDPs BibTeX for Under-Approximating Expected Total Rewards in POMDPs
Journal article
DFT modeling approach for operational risk assessment of railway infrastructure
Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen
International journal on software tools for technology transfer
PDF of DFT modeling approach for operational risk assessment of railway infrastructure RWTH record for DFT modeling approach for operational risk assessment of railway infrastructure BibTeX for DFT modeling approach for operational risk assessment of railway infrastructure
Conference paper
Foundations for Entailment Checking in Quantitative Separation Logic
Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Programming Languages and Systems
PDF of Foundations for Entailment Checking in Quantitative Separation Logic RWTH record for Foundations for Entailment Checking in Quantitative Separation Logic BibTeX for Foundations for Entailment Checking in Quantitative Separation Logic
Conference paper
Model Checking Temporal Properties of Recursive Probabilistic Programs
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Foundations of Software Science and Computation Structures
PDF of Model Checking Temporal Properties of Recursive Probabilistic Programs RWTH record for Model Checking Temporal Properties of Recursive Probabilistic Programs BibTeX for Model Checking Temporal Properties of Recursive Probabilistic Programs
Conference paper
Gradient-Descent for Randomized Controllers Under Partial Observability
Linus Heck, Jip Josephine Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
Verification, Model Checking, and Abstract Interpretation
RWTH record for Gradient-Descent for Randomized Controllers Under Partial Observability BibTeX for Gradient-Descent for Randomized Controllers Under Partial Observability
Journal article
Residuality and Learning for Nondeterministic Nominal Automata
Joshua Moerman, Matteo Sammartino
Logical methods in computer science
PDF of Residuality and Learning for Nondeterministic Nominal Automata RWTH record for Residuality and Learning for Nondeterministic Nominal Automata BibTeX for Residuality and Learning for Nondeterministic Nominal Automata
Conference paper
Out of Control : Reducing Probabilistic Models by Control-State Elimination
Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen
Verification, Model Checking, and Abstract Interpretation
RWTH record for Out of Control : Reducing Probabilistic Models by Control-State Elimination BibTeX for Out of Control : Reducing Probabilistic Models by Control-State Elimination
Book
Nachhaltigen Wandel gestalten : Innovationsimpulse der RWTH
RWTH Aachen. Lehrstuhl für Planungstheorie und Stadtentwicklung, REVIERa – Transformationsplattform der RWTH, Thorsten Karbach, Agnes Förster, Eva Christine Strobel, Stefan Karl Josef Böschen, Peter Letmathe, Elisabeth Clausen, Rik W. de Doncker, Peter Lürkens, Albert Moser, Aaron Jonathan Praktiknjo, Fabian Roemer, Andreas Ulbig, Rainer Dahlmann, Thomas Fischöder, Stefanie Gottuck, Jürgen Klankermeyer, Felix Kunz, Regina Palkovits, Stefan Sterlepper, Peter Quicker, Matthias Jarke, Max C. Lemme, Saskia K. Nagel, Joost-Pieter Katoen, Rainer Waser, Matthias Brockmann, Melanie Sarah Katharina Buchsbaum, Christian Rüdiger Hinke, Patrick Mattfield, Edgar Dahl, Fabian Kiessling, Holger Jahr, Jonas Gesenhues, Joachim Jankowski, Mare Mechelinck, Heidi Noels, Irene Neuner, Rolf Rossaint, Stefan Uhlig, Tanja Veselinović, Emiel Petrus Carla van der Vorst, Maximilian Alfons Voshage, Dirk Abel, Claus Bonerz, Lutz Eckstein, Bastian Lehrheuer, Micha Lesemann, Tobias Ostermann, René Zweigel, Benjamin Daniels, Frank Lehmkuhl, Michael Leuchner, Frank Lohrberg, Henry Riße, Martina Roß-Nickoll, Thomas Josef Wintgens
RWTH Aachen University
PDF of Nachhaltigen Wandel gestalten : Innovationsimpulse der RWTH RWTH record for Nachhaltigen Wandel gestalten : Innovationsimpulse der RWTH BibTeX for Nachhaltigen Wandel gestalten : Innovationsimpulse der RWTH
Journal article
Synthesizing optimal bias in randomized self-stabilization
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki
Distributed computing
PDF of Synthesizing optimal bias in randomized self-stabilization RWTH record for Synthesizing optimal bias in randomized self-stabilization BibTeX for Synthesizing optimal bias in randomized self-stabilization
Journal article
The probabilistic model checker STORM
Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
International journal on software tools for technology transfer
PDF of The probabilistic model checker STORM RWTH record for The probabilistic model checker STORM BibTeX for The probabilistic model checker STORM
Journal article
Markov automata with multiple objectives
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen
Formal methods in system design
RWTH record for Markov automata with multiple objectives BibTeX for Markov automata with multiple objectives

2021

Conference paper
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
RWTH record for Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata BibTeX for Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Preprint
Residuality and Learning for Nondeterministic Nominal Automata
Joshua Moerman, Matteo Sammartino
PDF of Residuality and Learning for Nondeterministic Nominal Automata RWTH record for Residuality and Learning for Nondeterministic Nominal Automata BibTeX for Residuality and Learning for Nondeterministic Nominal Automata
Conference paper
Scalable Reliability Analysis by Lazy Verification
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou
NASA formal methods
RWTH record for Scalable Reliability Analysis by Lazy Verification BibTeX for Scalable Reliability Analysis by Lazy Verification
Conference paper
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher
2021 10th Latin-American Symposium on Dependable Computing (LADC)
RWTH record for Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees BibTeX for Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
Conference paper
Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs
Shahid Khan, Joost-Pieter Katoen
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing
RWTH record for Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs BibTeX for Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs
Conference paper
Automated Termination Analysis of Polynomial Probabilistic Programs
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Programming languages and systems
RWTH record for Automated Termination Analysis of Polynomial Probabilistic Programs BibTeX for Automated Termination Analysis of Polynomial Probabilistic Programs
Conference paper
The Probabilistic Termination Tool Amber
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Formal Methods
RWTH record for The Probabilistic Termination Tool Amber BibTeX for The Probabilistic Termination Tool Amber
Journal article
Probabilistic Data with Continuous Distributions
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner
ACM SIGMOD record
RWTH record for Probabilistic Data with Continuous Distributions BibTeX for Probabilistic Data with Continuous Distributions