| 2023 |
| Umut Yigit Dural.
Automatic algorithm selection for probabilistic model checking using machine learning,
2023. |
| Jialei Yao.
Representing Markov models by extending the intermediate model checking language,
67 pages, 2023. |
| Timm Spork.
Approximate probabilistic bisimulations and quotienting,
186 pages, 2023. |
| Stefan Busch.
Slicing COBOL software for program understanding,
2023. |
| Daniel Alexander Heinen.
Architecture-oriented safety verification of transformer networks via program analysis,
2023. |
| Ebru Kusak.
Automated assessment of regular expressions,
2023. |
| Lasse van der Woude.
Evaluation of out-of-distribution detection techniques for dataset filtering,
2023. |
| DOI | .
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023,
Volume 14000 of LNCS, pages xvi, 659 Seiten : Diagramme, Springer, 2023. |
| DOI | Bahare Salmani Barzoki, Joost-Pieter Katoen.
Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks,
International Joint Conferences on Artificial Intelligence, 2023. |
| Full Text | Suhas Kotha, Christopher Jan-Steffen Brix, Zico Kolter, Krishnamurthy (Dj) Dvijotham, Huan Zhang.
Provably Bounding Neural Network Preimages,
Volume 36 of Advances in neural information processing systems, pages 1-21, [Verlag nicht ermittelbar], 2023. |
| DOIFull Text | Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler.
Stochastic games with lexicographic objectives,
pages 40-80, Springer, 2023. |
| DOIFull Text | Jip Josephine Spel.
Monotonicity in Markov models,
RWTH Aachen University, 2023. |
| DOI | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen.
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions,
54 pages, 2023. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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 | 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. |
| DOIFull Text | Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen.
DFT modeling approach for operational risk assessment of railway infrastructure,
pages 331-350, Springer, 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. |
| DOIFull Text | Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler.
Weighted programming,
pages 66, ACM, 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. |
| Darion Haase.
A unified slicing framework for probabilistic programs,
2022. |
| Lisa Pühl.
Verification of neural networks using binary tree search for branching,
2022. |