| 2022 |
| DOIFull Text | Matthias Volk.
Dynamic fault trees,
RWTH Aachen University, 2022. |
| Full Text | Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger.
Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen",
pages 33-37, DVV Media Group, Eurailpress, 2022. |
| DOI | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen.
Encoding inductive invariants as barrier certificates,
pages 104965, Elsevier, 2022. |
| DOIFull Text | Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll.
Foundations for Entailment Checking in Quantitative Separation Logic,
Volume 13240 of LNCS, pages 57-84, Springer, 2022. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner.
Generative Datalog with Continuous Distributions,
pages 46, ACM, 2022. |
| DOI | Linus Heck, Jip Josephine Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen.
Gradient-Descent for Randomized Controllers Under Partial Observability,
Volume 13182, Theoretical Computer Science and General Issues of LNCS, pages 127-150, Springer, 2022. |
| DOI | Wiebke Lenze, Bastian Kogel, Simon Schotten, Thorsten Büker, Thomas Noll, Philipp Berger, Mario Fietze.
Identification of Bottlenecks in Rail Infrastructure,
Civil-Comp Conferences, pages 23.12, Civil-Comp Press, 2022. |
| Laura Bamberger.
Implementation of an LTL model checker for probabilistic pushdown automata,
2022. |
| Christian Blumenthal.
Inference in discrete probabilistic programs using probability generating functions,
2022. |
| Denis Kuksaus.
Markow-Entscheidungsprozesse mit mehreren Agenten,
2022. |
| DOIFull Text | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen.
Model Checking Temporal Properties of Recursive Probabilistic Programs,
Volume 13242 of LNCS, pages 449-469, Springer, 2022. |
| DOIFull Text | 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.
Nachhaltigen Wandel gestalten,
145 pages, RWTH Aachen University, 2022. |
| Caroline Jabs.
Novelty-detection-based split selection heuristics for neural network verification,
2022. |
| DOI | Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen.
Out of Control,
Volume 13182, Theoretical Computer Science and General Issues of LNCS, pages 450-472, Springer, 2022. |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen.
Parameter Synthesis in Markov Models,
Volume 13660 of LNCS, pages 407-437, Springer, 2022. |
| DOI | Jip Josephine Spel, Svenja Maria Stein, Joost-Pieter Katoen.
POMDP Controllers with Optimal Budget,
Volume 13479 of LNCS, pages 107-130, Springer, 2022. |
| DOIFull Text | Christina Gehnen.
POMDP-based execution models for probabilistic programs with partial observability,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2022. |
| DOI | Emma Katharina Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen.
Reasoning about distributed reconfigurable systems,
pages 145-174, ACM, 2022. |
| DOIFull Text | Joshua Moerman, Matteo Sammartino.
Residuality and Learning for Nondeterministic Nominal Automata,
pages 29, Department of Theoretical Computer Science, Technical University of Braunschweig, 2022. |
| DOIFull Text | Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu.
Scenario-based verification of uncertain parametric MDPs,
pages 803-8019, Springer, 2022. |
| DOIFull Text | Mohamed Khalifa.
Termination analysis of procedural pointer programs modelled by graph grammars,
RWTH Aachen University, 2022. |
| DOIFull Text | Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll.
Towards Concurrent Quantitative Separation Logic,
Volume 243 of LIPIcs - Leibniz International Proceedings in Informatics, pages 25:1-25:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. |
| DOIFull Text | Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll.
Towards Concurrent Quantitative Separation Logic,
pages 1-62, 2022. |
| DOIFull Text | Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann.
Under-Approximating Expected Total Rewards in POMDPs,
Volume 13244 of LNCS, pages 22-40, Springer, 2022. |
| Jan Jeremy Tugsbayar.
Verification of leader election protocols for dynamic networks,
2022. |