Publications

2022
DOIJoshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata, 29, Department of Theoretical Computer Science, Technical University of Braunschweig, 2022.
DOILinus Heck, Jip Josephine Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen. Gradient-Descent for Randomized Controllers Under Partial Observability, Verification, model checking, and abstract interpretation : 23rd international conference, VMCAI 2022, philadelphia, PA, USA, january 16–18, 2022, proceedings / edited by bernd finkbeiner, thomas wies, 127-150, Springer, 2022.
DOITobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Foundations of software science and computation structures : 25th international conference, FOSSACS 2022, held as part of the european joint conferences on theory and practice of software, ETAPS 2022, munich, germany, april 2–7, 2022, proceedings / edited by patricia bouyer, lutz schröder, 449-469, Springer International Publishing, 2022.
DOIKevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic, Programming languages and systems : 31st european symposium on programming, ESOP 2022, held as part of the european joint conferences on theory and practice of software, ETAPS 2022, munich, germany, april 2–7, 2022, proceedings / edited by ilya sergey, 57-84, Springer International Publishing, 2022.
DOINorman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen. DFT modeling approach for operational risk assessment of railway infrastructure, 331-350, Springer, 2022.
DOIAlexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann. Under-Approximating Expected Total Rewards in POMDPs, Tools and algorithms for the construction and analysis of systems : 28th international conference, TACAS 2022, held as part of the european joint conferences on theory and practice of software, ETAPS 2022, munich, germany, april 2–7, 2022, proceedings, part II / edited by dana fisman, grigore rosu, 22-40, Springer International Publishing, 2022.
DOIKevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler. Weighted programming : a programming paradigm for specifying mathematical models, 66, ACM, 2022.
Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger. Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen", 33-37, DVV Media Group, Eurailpress, 2022.
Darion Haase. A unified slicing framework for probabilistic programs, 2022.
Lisa Pühl. Verification of neural networks using binary tree search for branching, 2022.
DOIMingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler. Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions; 1st ed. 2022., Computer aided verification : 34th international conference, CAV 2022, haifa, israel, august 7–10, 2022, proceedings, part I / edited by sharon shoham, yakir vizel, 79-101, Springer International Publishing, 2022.
DOIXaver Fink, Philipp Berger, Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers, NASA formal methods : 14th international symposium, NFM 2022, pasadena, CA, USA, may 24–27, 2022, proceedings / edited by jyotirmoy V. Deshmukh, klaus havelund, ivan perez, 338-354, Springer International Publishing, 2022.
DOIIra Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic, 33rd international conference on concurrency theory (CONCUR 2022) / herausgeber: Bartek klin, slawomir lasota, anca muscholl, 25:1-25:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
DOIIra Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic, [1]-62, 2022.
. 50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild, 152 Seiten : Illustrationen, Diagramme, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen, 2022.
DOIMohamed Khalifa. Termination analysis of procedural pointer programs modelled by graph grammars, 1 Online-Ressource : Diagramme, RWTH Aachen University, 2022.
DOIQiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming, 104965, Elsevier, 2022.
DOIJip Josephine Spel, Svenja Maria Stein, Joost-Pieter Katoen. POMDP Controllers with Optimal Budget, Quantitative evaluation of systems : 19th international conference, QEST 2022 warsaw, poland, september 12–16, 2022, proceedings / erika ábrahám, marco paolieri (eds.), 107-130, Springer, 2022.
DOIPhilipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel. Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining, Formal methods for industrial critical systems : 27th international conference, FMICS 2022, warsaw, poland, september 14–15, 2022, proceedings / edited by jan friso groote, marieke huisman, 121-133, Springer, 2022.
DOIThom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs, 803-8019, Springer, 2022.
DOIShahid Khan. Boolean-logic driven Markov processes : Explained. Analysed. Verified., 1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2022.
DOIMartin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, 46, ACM, 2022.
DOIMurat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Convex Optimization for Parameter Synthesis in MDPs, 6333-6348, Institute of Electrical,Electronics Engineers, 2022.
Jan Jeremy Tugsbayar. Verification of leader election protocols for dynamic networks, 2022.
Dominic Sebastian Meiser. Design and evaluation of a probabilistic pointer programming language using Monte-Carlo simulation, 2022.