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 Contribution to a book/Contribution to a conference proceedings Zilken, D. (Corresponding author) ; Batz, K. ; Katoen, J.-P.RWTH* ; Winkler, T.RWTH*
Verifying Sampling Algorithms via Distributional Invariants
2026Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga
27. International Symposium on Formal Methods, FM 2026, TokyoTokyo, Japan, 18 May 2026 - 22 May 20262026-05-182026-05-22 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16556, 259-278 (2026) [10.1007/978-3-032-26204-2_14]2026     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 Hartmanns, A. ; Quatmann, T.RWTH* ; van Wijk, M. (Corresponding author)
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking
2026Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga
27. International Symposium on Formal Methods, FM 2026, TokyoTokyo, Japan, 18 May 2026 - 22 May 20262026-05-182026-05-22 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16556, 189-210 (2026) [10.1007/978-3-032-26204-2_10]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book (Erratum/Correction)/Contribution to a conference proceedings Geißler, D. (Corresponding author) ; Winkler, T.RWTH*
Correction to: Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2026Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim
22. International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, MarrakechMarrakech, Morocco, 24 Nov 2025 - 28 Nov 20252025-11-242025-11-28 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16237, C1-C1 (2026) [10.1007/978-3-032-11176-0_29]2026   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Li, Y. ; Chen, M. (Corresponding author) ; Zhao, L. ; Zhan, N. (Corresponding author) ; Lu, H. ; Wu, G. ; Katoen, J.-P.RWTH*
On termination of polynomial programs with equality conditions
Information and computation 312, 105487 (2026) [10.1016/j.ic.2026.105487]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 Schroer, P. (Corresponding author)RWTH* ; Katoen, J.-P.RWTH*
Highly Incremental: A Simple Programmatic Approach for Many Objectives
2026Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga
27. International Symposium on Formal Methods, FM 2026, TokyoTokyo, Japan, 18 May 2026 - 22 May 20262026-05-182026-05-22 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16556, 559-577 (2026) [10.1007/978-3-032-26204-2_29]2026     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Patent (Publication of the patent application) Wessling, M.RWTH* ; Brosch, S.RWTH* ; Mertens, A.-K.RWTH* ; Steinbeck, L. M.RWTH* ; Paul, R.RWTH*
Verfahren zur Herstellung flächiger, poröser Hydrogele mittels Fluss-Lithographie
13 Seiten : Illustrationen (2026)2026     Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Master Thesis Seidel, J.RWTH* ; Katoen, J.-P. (Thesis advisor)RWTH* ; Noll, T. (Thesis advisor)RWTH* ; Zilken, D. J. (Consultant)RWTH*
Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-04488]2026 = Masterarbeit, RWTH Aachen University, 2026     Files 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 Contribution to a book/Contribution to a conference proceedings Heck, L. (Corresponding author) ; Quatmann, T.RWTH* ; Spel, J. J.RWTH* ; Katoen, J.-P.RWTH* ; Junges, S.
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2026Automated technology for verification and analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025 : proceedings / Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan, editors
Automated Technology for Verification and Analysis, ATVA, BengaluruBengaluru, India, 27 Oct 2025 - 31 Oct 20252025-10-272025-10-31 Cham : Springer, Lecture notes in computer science 16145, 207-230 (2026) [10.1007/978-3-032-08707-2_10]2026   BibTeX | EndNote: XML, Text | RIS

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