h1

121310

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Hartmanns, A. (Corresponding author) ; Junges, S. ; Quatmann, T.RWTH* ; Weininger, M.
The revised practitioner’s guide to MDP model checking algorithms
International journal on software tools for technology transfer : STTT (2026) [10.1007/s10009-026-00848-y]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Schroer, P. (Corresponding author)RWTH* ; Katoen, J.-P. (Corresponding author)RWTH*
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
46 Seiten (2026) [10.48550/arXiv.2603.02405]2026     Files  Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis Baum, M.RWTH* ; Noll, T. (Thesis advisor)RWTH* ; Bluhm, J. (Thesis advisor)RWTH*
Heuristic circuit mapping strategies for the SpinBus architecture
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-02163]2026 = Bachelorarbeit, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Dissertation / PhD Thesis Fesefeldt, I. J.RWTH* ; Katoen, J.-P. (Thesis advisor)RWTH* ; Birkedal, L. (Thesis advisor)
Deductive reasoning about concurrent probabilistic programs
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2025) [10.18154/RWTH-2026-02088]2025 = Dissertation, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Software Schröer, P.RWTH* ; Haase, D.RWTH* ; Katoen, J.-P.RWTH*
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
Zenodo (2026) [10.5281/ZENODO.18188200]2026   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Yang, Y. ; Liu, Q. ; Brix, C. J.RWTH* ; Zhang, H. ; Cao, Y.
CertPHash: Towards Certified Perceptual Hashing via Robust Training
2025Proceedings of the 34th USENIX Security Symposium : August 13–15, 2025, Seattle, WA, USA
34. USENIX Security Symposium, Seattle, WASeattle, WA, USA, 13 Aug 2025 - 15 Aug 20252025-08-132025-08-15 7839-7856 (2025)2025     Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Batz, K. (Corresponding author)RWTH* ; Katoen, J.-P.RWTH* ; Orhan, N.RWTH*
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings / edited by Parosh Aziz Abdulla, Delia Kesner
Foundations of Software Science and Computation Structures : 28. International Conference, FoSSaCS 2025, FoSSaCS 2025, Hamilton, ONHamilton, ON, Canada, 3 May 2025 - 8 May 20252025-05-032025-05-08
International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ONHamilton, ON, Canada, 3 May 2025 - 8 May 20252025-05-032025-05-08 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 15691, 176-197 (2025) [10.1007/978-3-031-90897-2_9]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Verscht, L.RWTH* ; Wáng, Ā. ; Kaminski, B. L.
Partial Incorrectness Logic
2025Theory and Practice of Static Analysis Workshop, TPSA 2025, DenverDenver, USA, 21 Jan 2025 - 21 Jan 20252025-01-212025-01-21
52. ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2025, DenverDenver, USA, 19 Jan 2025 - 25 Jan 20252025-01-192025-01-25 4 Seiten (2025) [10.48550/arXiv.2502.14626]2025     Files  Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Verscht, L. (Corresponding author)RWTH* ; Kaminski, B. L.
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
202552. ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2025, DenverDenver, USA, 19 Jan 2025 - 25 Jan 20252025-01-192025-01-25 Proceedings of the ACM on programming languages/ PACMPL 9(POPL), 1782-1811 (2025) [10.1145/3704896]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a conference proceedings Brix, C. J. (Corresponding author)RWTH* ; Walczak, J. (Corresponding author)RWTH* ; Lommen, N. M. (Corresponding author)RWTH* ; Noll, T. (Corresponding author)RWTH*
Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
2025ICLR 2025 Workshop: VerifAI: AI Verification in the Wild : ICLR 2025 Workshop VerifAI Singapore, Apr 27 2025
ICLR 2025 Workshop VerifAI, ICLR VerifAI, SingaporeSingapore, Singapore, 27 Apr 2025 - 27 Apr 20252025-04-272025-04-27 1-53 (2025) [10.18154/RWTH-2026-01538]2025     Files  Fulltext BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS |