| 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. |
| 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: Efficient Analysis of Static and Dynamic Fault Trees, 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, 713-732, Springer International Publishing, 2022. |
| DOI | Emma Katharina Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen. Reasoning about distributed reconfigurable systems, 145-174, ACM, 2022. |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis in Markov Models: A Gentle Survey, Principles of systems design : essays dedicated to thomas a. Henzinger on the occasion of his 60th birthday / jean-francois raskin, krishnendu chatterjee, laurent doyen, rupak majumdar (eds.), 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, Proceedings of the fifth international conference on railway technology: Research, development and maintenance edited by J. Pombo civil-comp conferences. - Volume 1, 23.12, Civil-Comp Press, 2022. |
| Denis Kuksaus. Markow-Entscheidungsprozesse mit mehreren Agenten : Ein Überblick mit Fokus auf effiziente Aufgabenverteilung, 2022. |
| Jan Erik Karuc. Verifying parametric Markov models using decision diagrams, 2022. |
| Jonas Seidel. Comparison of heuristics for branching in neural network verification, 75 Seiten : Illustrationen, 2022. |