| 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. |
| DOI | Xaver Fink, Philipp Berger, Joost-Pieter Katoen.
Configurable Benchmarks for C Model Checkers,
Volume 13260 of LNCS, pages 338-354, Springer, 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. |
| 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. |
| DOIFull Text | Mohamed Khalifa.
Termination analysis of procedural pointer programs modelled by graph grammars,
RWTH Aachen University, 2022. |
| DOI | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen.
Encoding inductive invariants as barrier certificates,
pages 104965, Elsevier, 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. |
| 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. |
| 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 | Shahid Khan.
Boolean-logic driven Markov processes,
Volume 2022,02 of Aachener Informatik-Berichte (AIB), RWTH Aachen University, 2022. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner.
Generative Datalog with Continuous Distributions,
pages 46, ACM, 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. |
| Jan Jeremy Tugsbayar.
Verification of leader election protocols for dynamic networks,
2022. |
| Dominic Sebastian Meiser.
Design and evaluation of a probabilistic pointer programming language using Monte-Carlo simulation,
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. |
| DOI | Emma Katharina Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen.
Reasoning about distributed reconfigurable systems,
pages 145-174, ACM, 2022. |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen.
Parameter Synthesis in Markov Models,
Volume 13660 of LNCS, pages 407-437, 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. |
| Denis Kuksaus.
Markow-Entscheidungsprozesse mit mehreren Agenten,
2022. |
| Jan Erik Karuc.
Verifying parametric Markov models using decision diagrams,
2022. |
| Jonas Seidel.
Comparison of heuristics for branching in neural network verification,
75 pages, 2022. |
| Caroline Jabs.
Novelty-detection-based split selection heuristics for neural network verification,
2022. |
| Ben Sturgis.
Automatic verification of loop invariants in weighted programs,
2022. |
| Christian Blumenthal.
Inference in discrete probabilistic programs using probability generating functions,
2022. |