| 2024 |
| DOI | Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle Stoelinga.
SAFEST,
7 pages, IEEE, 2024. |
| DOIFull Text | Duo Zhou, Christopher Jan-Steffen Brix, Grani A. Hanasusanto, Huan Zhang.
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes,
Volume 37 of Advances in neural information processing systems, pages 29324-29353, [Verlag nicht ermittelbar], 2024. |
| Frederik Heigold.
Semantics-preserving transformation of Java source code,
2024. |
| Julia Walczak.
Testing the applicability of robustness evaluation methods for neural networks on nonlinear real arithmetic problems using α-β-CROWN and foolbox,
2024. |
| DOIFull Text | Christopher Jan-Steffen Brix, Stanley Bak, Taylor T. Johnson, Haoze Wu.
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024),
102 pages, Universitätsbibliothek der RWTH Aachen, 2024. |
| Yejun Tang.
Transfer of branching heuristics for neural network verification to alpha-beta-CROWN and evaluation of large-scale verification benchmarks,
2024. |
| 2023 |
| DOIFull Text | .
22. Kolloquium Programmiersprachen und Grundlagen der Programmierung,
Volume AIB-2023-03 of Aachener Informatik-Berichte, pages 1 Online-Ressource, RWTH Aachen University, Department of Computer Science, 2023. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht.
A Calculus for Amortized Expected Runtimes,
pages 67, ACM, 2023. |
| DOIFull Text | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
A Deductive Verification Infrastructure for Probabilistic Programs,
pages 294, ACM, 2023. |
| DOIFull Text | Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version),
pages 1-48, 2023. |
| DOI | Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger.
A Practitioner’s Guide to MDP Model Checking Algorithms,
Volume 13993 of LNCS, pages 469-488, Springer, 2023. |
| Timm Spork.
Approximate probabilistic bisimulations and quotienting,
186 pages, 2023. |
| Daniel Alexander Heinen.
Architecture-oriented safety verification of transformer networks via program analysis,
2023. |
| Ebru Kusak.
Automated assessment of regular expressions,
2023. |
| Umut Yigit Dural.
Automatic algorithm selection for probabilistic model checking using machine learning,
2023. |
| DOIFull Text | Bahare Salmani Barzoki, Joost-Pieter Katoen.
Automatically Finding the Right Probabilities in Bayesian Networks,
pages 1637-1696, AI Access Found., 2023. |
| DOIFull Text | Tobias Winkler, Joost-Pieter Katoen.
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration,
Volume 13994 of LNCS, pages 391-409, Springer, 2023. |
| Felix Faber.
Comparison of symbolic maximal end component decomposition algorithms,
61 pages, 2023. |
| Lasse van der 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 pages, 2023. |
| DOIFull Text | Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen.
Exact Probabilistic Inference Using Generating Functions,
3 pages, 2023. |
| DOI | Bahare Salmani Barzoki, Joost-Pieter Katoen.
Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks,
International Joint Conferences on Artificial Intelligence, 2023. |
| DOIFull Text | Christopher Jan-Steffen Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu.
First three years of the international verification of neural networks competition (VNN-COMP),
pages 329-339, Springer, 2023. |
| DOI | .
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023,
Volume 14000 of LNCS, pages xvi, 659 Seiten : Diagramme, Springer, 2023. |
| DOIFull Text | Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan.
Lower Bounds for Possibly Divergent Probabilistic Programs,
pages 99, ACM, 2023. |