| 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. |
| Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger. Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen",
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. |
| DOI | Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler. Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions; 1st ed. 2022.,
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel, 79-101, Springer International Publishing, 2022. |
| DOI | Xaver Fink, Philipp Berger, Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers,
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez, 338-354, Springer International Publishing, 2022. |
| DOI | Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic,
33rd International Conference on Concurrency Theory (CONCUR 2022) / Herausgeber: Bartek Klin, Slawomir Lasota, Anca Muscholl, 25:1-25:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. |
| DOI | Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic,
[1]-62, 2022. |
| . 50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild,
152 Seiten : Illustrationen, Diagramme, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen, 2022. |
| DOI | Mohamed Khalifa. Termination analysis of procedural pointer programs modelled by graph grammars,
1 Online-Ressource : Diagramme, RWTH Aachen University, 2022. |
| DOI | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming,
104965, Elsevier, 2022. |
| DOI | Jip Josephine Spel, Svenja Maria Stein, Joost-Pieter Katoen. POMDP Controllers with Optimal Budget,
Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12–16, 2022, proceedings / Erika Ábrahám, Marco Paolieri (eds.), 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,
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman, 121-133, Springer, 2022. |
| DOI | Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs,
803-8019, Springer, 2022. |
| DOI | Shahid Khan. Boolean-logic driven Markov processes : Explained. Analysed. Verified.,
1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2022. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions,
46, ACM, 2022. |
| DOI | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Convex Optimization for Parameter Synthesis in MDPs,
6333-6348, Institute of Electrical,Electronics Engineers, 2022. |
| Jan Jeremy Tugsbayar. Verification of leader election protocols for dynamic networks,
2022. |