h1

080017

⇧ 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 Chechik, M. ; Katoen, J.-P.RWTH*
Introduction to the Special Collection from FM 2023
20255. Symposium on Formal Methods, FM 2023, LübeckLübeck, Germany, 6 Mar 2023 - 10 Mar 20232023-03-062023-03-10 Formal aspects of computing 37(1), 1-2 (2025) [10.1145/3709600]2025   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Andriushchenko, R. ; Češka, M. ; Macák, F. ; Junges, S. (Corresponding author) ; Katoen, J.-P. (Corresponding author)RWTH*
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty
Journal of artificial intelligence research : JAIR 82, 433-469 (2025) [10.1613/jair.1.16593]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 Spork, T. (Corresponding author) ; Baier, C. (Corresponding author) ; Katoen, J.-P. (Corresponding author)RWTH* ; Piribauer, J. (Corresponding author) ; Quatmann, T. (Corresponding author)RWTH*
A Spectrum of Approximate Probabilistic Bisimulations
202435th International Conference on Concurrency Theory : CONCUR 2024, September 9-13, 2024, Calgary, Canada / edited by Rupak Majumdar, Alexandra Silva
35. International Conference on Concurrency Theory, CONCUR 2024, CalgaryCalgary, Canada, 9 Sep 2024 - 13 Sep 20242024-09-092024-09-13 Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics 311, 37:1-37:19 (2024) [10.4230/LIPICS.CONCUR.2024.37]2024     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Khan, S. (Corresponding author)RWTH* ; Katoen, J.-P. (Corresponding author)RWTH* ; Bouissou, M. (Corresponding author)
A Compositional Semantics of Boolean-Logic Driven Markov Processes
IEEE transactions on dependable and secure computing : TDSC 21(2), 701-716 (2024) [10.1109/TDSC.2023.3261270]2024   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Xu, H. ; Hu, Y. (Corresponding author) ; Zhu, Y.RWTH* ; Yuan, X.RWTH* ; Schmeink, A.RWTH*
Achieving secure and fresh information updates via Short-Packet communications
IEEE wireless communications letters 13(11), 3232-3236 (2024) [10.1109/LWC.2024.3462717]2024   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 Staudigl, F.RWTH* ; Thoma, J. P. ; Niesler, C. ; Sturm, K.RWTH* ; Pelke, R.RWTH* ; Germek, D. ; Joseph, J. M.RWTH* ; Güneysu, T. ; Davi, L. ; Leupers, R.RWTH*
NVM-Flip: Non-Volatile-Memory BitFlips on the System Level
2024Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, SaT-CPS 2024, PortoPorto, Portugal, 21 Jun 2024 - 21 Jun 20242024-06-212024-06-21
14. ACM Conference on Data and Application Security and Privacy, CODASPY 2024, PortoPorto, Portugal, 19 Jun 2024 - 21 Jun 20242024-06-192024-06-21 [Erscheinungsort nicht ermittelbar] : Association for Computing Machinery 11-20 (2024) [10.1145/3643650.3658606]2024     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article/Contribution to a conference proceedings Klinkenberg, L. (Corresponding author)RWTH* ; Blumenthal, C.RWTH* ; Chen, M. (Corresponding author) ; Haase, D.RWTH* ; Katoen, J.-P.RWTH*
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2024ACM Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2024, PasadenaPasadena, USA, 20 Oct 2024 - 25 Oct 20242024-10-202024-10-25 Proceedings of the ACM on programming languages : (PACMPL) 8(OOPSLA1), 127 (2024) [10.1145/3649844] special issue: "OOPSLA1"2024     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint Klinkenberg, L. (Corresponding author)RWTH* ; Blumenthal, C.RWTH* ; Chen, M. (Corresponding author) ; Haase, D.RWTH* ; Katoen, J.-P.RWTH*
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023ACM Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA24, PasadenaPasadena, USA, 20 Oct 2024 - 25 Oct 20242024-10-202024-10-25 54 Seiten (2023) [10.48550/ARXIV.2307.07314]2023     Files  Fulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Ceravolo, P. ; Junior, S. B. (Corresponding author) ; Damiani, E. ; van Der Aalst, W. M. P.RWTH*
Tuning machine learning to address process mining requirements
IEEE access 12, 24583-24595 (2024) [10.1109/ACCESS.2024.3361650]2024     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Proceedings/Book Chechik, M. (Editor) ; Katoen, J.-P. (Editor)RWTH* ; Leucker, M. (Editor)
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings
202325. International Symposium on Formal Methods, FM 2023, LübeckLübeck, Germany, 6 Mar 2023 - 10 Mar 20232023-03-062023-03-10 Cham, Switzerland : Springer, Lecture notes in computer science 14000, xvi, 659 Seiten : Diagramme (2023) [10.1007/978-3-031-27481-7]2023   BibTeX | EndNote: XML, Text | RIS

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