| 2023 |
|---|
| Gergana Tropcheva. Strategy computation for a Markovian disease spread model, 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 Seiten : Illustrationen, 2023. |
| Timm Spork. Approximate probabilistic bisimulations and quotienting, 186 Seiten : Illustrationen, 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 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 : proceedings, xvi, 659 Seiten : Diagramme, Springer, 2023. |
| DOI | Bahare Salmani Barzoki, Joost-Pieter Katoen. Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks, Proceedings of the thirty-second international joint conference on artificial intelligence : Macao, SAR, 19-25 august 2023 / edited by edith elkind ; sponsored by international joint conferences on artifical intelligence (IJCAI), published by international joint conferences on artificial intelligence, International Joint Conferences on Artificial Intelligence, 2023. |
| Suhas Kotha, Christopher Jan-Steffen Brix, Zico Kolter, Krishnamurthy Dvijotham, Huan Zhang. Provably Bounding Neural Network Preimages, Advances in neural information processing systems 36 (NeurIPS 2023) / edited by: a. Oh and T. Naumann and a. Globerson and K. Saenko and M. Hardt and S. Levine, [1]-21, [Verlag nicht ermittelbar], 2023. |
| DOI | Jip Josephine Spel. Monotonicity in Markov models, 1 Online-Ressource : Illustrationen, 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 Seiten, 2023. |
| 2022 |
|---|
| DOI | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov automata with multiple objectives, 33-86, Springer Science + Business Media B.V, 2022. |
| DOI | Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. The probabilistic model checker STORM, 589-610, Springer, 2022. |
| DOI | Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki. Synthesizing optimal bias in randomized self-stabilization, 37-57, Springer, 2022. |
| DOI | Thorsten Karbach, Agnes Förster, Eva Christine Strobel, Stefan Karl Josef Böschen, Peter Letmathe, Elisabeth Clausen, Rik W. 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 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. Lehrstuhl Planungstheorie und Stadtentwicklung, REVIERa – Transformationsplattform RWTH. Nachhaltigen Wandel gestalten : Innovationsimpulse der RWTH; Stand: 03/2022, 145 Seiten : Illustrationen, RWTH Aachen University, 2022. |
| DOI | Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen. Out of Control : Reducing Probabilistic Models by Control-State Elimination, 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, 450-472, Springer, 2022. |
| DOI | Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata, 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, 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. |
| DOI | Tobias 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. |
| DOI | 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, 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. |
| DOI | Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen. DFT modeling approach for operational risk assessment of railway infrastructure, 331-350, Springer, 2022. |
| DOI | Alexander 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. |
| DOI | Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler. Weighted programming : a programming paradigm for specifying mathematical models, 66, ACM, 2022. |