http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Book Jansen, N. (Editor) ; Junges, S. (Editor) ; Kaminski, B. L. (Editor) ; Matheja, C. (Editor) ; Noll, T. (Editor)RWTH* ; Quatmann, T. (Editor)RWTH* ; Stoelinga, M. (Editor) ; Volk, M. (Editor)RWTH*
Principles of verification: cycling the probabilistic landscape, Part 1
Cham : Springer, Lecture notes in computer science 15260, xix, 447 Seiten : Illustrationen, Diagramme (2025) [10.1007/978-3-031-75783-9]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book Mroß, R. (Corresponding author)RWTH* ; Völker, M. (Corresponding author)RWTH* ; Kowalewski, S. (Corresponding author)RWTH* ; Schnakenbeck, A. ; Fay, A.
Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size
2025Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday : part II / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15261, 338-359 (2025) [10.1007/978-3-031-75775-4_15]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book Hensel, H. C.RWTH* ; Junges, S. (Corresponding author) ; Quatmann, T.RWTH* ; Volk, M.
Riding the Storm in a Probabilistic Model Checking Landscape
2025Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday : part II / Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, editors Cham : Springer, Lecture notes in computer science 15261, 98-114 (2025) [10.1007/978-3-031-75775-4_5]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Book Jansen, N. (Editor) ; Junges, S. (Editor) ; Kaminski, B. L. (Editor) ; Matheja, C. (Editor) ; Noll, T. (Editor)RWTH* ; Quatmann, T. (Editor)RWTH* ; Stoelinga, M. (Editor) ; Volk, M. (Editor) ; Katoen, J.-P. (Honoree)
Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th Birthday, Part 3
Cham : Springer, Lecture notes in computer science 15262, xv, 503 Seiten : Illustrationen, Diagramme (2025) [10.1007/978-3-031-75778-5]2025   BibTeX | EndNote: XML, Text | RIS