| 2023 |
|---|
| DOI | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger. A Practitioner’s Guide to MDP Model Checking Algorithms,
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I / edited by Sriram Sankaranarayanan, Natasha Sharygina, 469-488, Springer Nature Switzerland, 2023. |
| DOI | . 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung,
1 Online-Ressource, RWTH Aachen University, Department of Computer Science, 2023. |
| DOI | Tobias Winkler, Joost-Pieter Katoen. Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration,
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina, 391-409, Springer Nature Switzerland, 2023. |
| DOI | Tobias Winkler, Joost-Pieter Katoen. On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 26-29 June 2023, Boston, USA / conference chair: Marco Gaboardi (Boston University, USA), 13 Seiten, IEEE, 2023. |
| DOI | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs,
294, ACM, 2023. |
| DOI | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version),
[1]-48, 2023. |
| Felix Faber. Comparison of symbolic maximal end component decomposition algorithms,
61 Seiten : Illustrationen, Diagramme, 2023. |
| DOI | Jip Josephine Spel. Monotonicity in Markov models,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2023. |
| DOI | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs,
24, Department of Theoretical Computer Science, Technical University of Braunschweig, 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 | Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions,
54 Seiten, 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. |
| 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. |