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 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 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

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Gehnen, C. (Corresponding author)RWTH* ; Unruh, D.RWTH* ; Katoen, J.-P.RWTH*
Bayesian Inference in Quantum Programs
202552nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis
52. International Colloquium on Automata, Languages, and Programming, ICALP 2025, AarhusAarhus, Denmark, 8 Jul 2025 - 11 Jul 20252025-07-082025-07-11 Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz international proceedings in informatics 334, 157:1-157:18 (2025) [10.4230/LIPIcs.ICALP.2025.157]2025     Files 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 Ahrens, E. K. (Corresponding author)RWTH* ; Kassing, J.-C. (Corresponding author)RWTH* ; Giesl, J. (Corresponding author)RWTH* ; Katoen, J.-P. (Corresponding author)RWTH*
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
202510th International Conference on Formal Structures for Computation and Deduction : FSCD 2025, July 14-20, 2025, Birmingham, UK / edited by Maribel Fernández
10. International Conference on Formal Structures for Computation and Deduction, FSCD 2025, BirminghamBirmingham, UK, 14 Jul 2025 - 20 Jul 20252025-07-142025-07-20 Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 337, 6:[1]-6:21 (2025) [10.4230/LIPICS.FSCD.2025.6]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Master Thesis Meiser, D. S.RWTH* ; Noll, T. (Thesis advisor)RWTH* ; Katoen, J.-P. (Thesis advisor)RWTH* ; Hermanns, R. (Consultant)RWTH*
Multi‐agent path finding for reversible conveyors
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2025) [10.18154/RWTH-2025-10004]2025 = Masterarbeit, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

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