| 2023 |
| DOIFull Text | Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen.
Model Checking Temporal Properties of Recursive Probabilistic Programs,
pages 24, Department of Theoretical Computer Science, Technical University of Braunschweig, 2023. |
| DOIFull Text | Jip Josephine Spel.
Monotonicity in Markov models,
RWTH Aachen University, 2023. |
| DOI | Tobias Winkler, Joost-Pieter Katoen.
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata,
13 pages, IEEE, 2023. |
| DOIFull Text | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants,
Volume 13994 of LNCS, pages 410-429, Springer, 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. |
| Jialei Yao.
Representing Markov models by extending the intermediate model checking language,
67 pages, 2023. |
| DOIFull Text | Roman Andriushchenko, Alexander Nikolai Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák.
Search and Explore,
Volume 13966 of LNCS, pages 113-135, Springer, 2023. |
| Stefan Busch.
Slicing COBOL software for program understanding,
2023. |
| DOIFull Text | Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler.
Stochastic games with lexicographic objectives,
pages 40-80, Springer, 2023. |
| Gergana Tropcheva.
Strategy computation for a Markovian disease spread model,
2023. |
| DOIFull Text | Sascha Müller.
Synthesizing FDIR recovery strategies for space systems,
RWTH Aachen University, 2023. |
| DOIFull Text | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács.
The probabilistic termination tool amber,
pages 90-109, Springer, 2023. |
| DOIFull Text | Tim Quatmann.
Verification of multi-objective Markov models,
RWTH Aachen University, 2023. |
| 2022 |
| Full Text | .
50 Jahre Studiengang Informatik an der RWTH Aachen,
152 pages, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen, 2022. |
| Darion Haase.
A unified slicing framework for probabilistic programs,
2022. |
| DOI | Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel.
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining,
Volume 13487 of LNCS, pages 121-133, Springer, 2022. |
| Ben Sturgis.
Automatic verification of loop invariants in weighted programs,
2022. |
| DOI | Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga.
BDDs Strike Back,
Volume 13260 of LNCS, pages 713-732, Springer, 2022. |
| DOIFull Text | Shahid Khan.
Boolean-logic driven Markov processes,
Volume 2022,02 of Aachener Informatik-Berichte (AIB), RWTH Aachen University, 2022. |
| Jonas Seidel.
Comparison of heuristics for branching in neural network verification,
75 pages, 2022. |
| DOI | Xaver Fink, Philipp Berger, Joost-Pieter Katoen.
Configurable Benchmarks for C Model Checkers,
Volume 13260 of LNCS, pages 338-354, Springer, 2022. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu.
Convex Optimization for Parameter Synthesis in MDPs,
pages 6333-6348, Institute of Electrical and Electronics Engineers, 2022. |
| Dominic Sebastian Meiser.
Design and evaluation of a probabilistic pointer programming language using Monte-Carlo simulation,
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 | Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler.
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions,
Volume 13371 of LNCS, pages 79-101, Springer, 2022. |