Paper at POPL 2023
November 8, 2022
The paper entitled “A Calculus for Amortized Expected Runtimes” by Kevin Batz, Benjamin Kaminski (Saarland/UCL), Joost-Pieter Katoen, Christoph Matheja (DTU Lyngby) and Lena Verscht has been accepted
News
WhatsApp Research Award
October 11, 2022
Philipp Schroer and Joost-Pieter Katoen receive a Research Award from WhatsApp, through its parent company, Meta Platforms, Inc. for their research proposal “A Deductive Verification Infrastructure fo
Paper in Information & Computation
September 21, 2022
The paper entitled “Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming” by [Qiuye Wang](https://arxiv.org/search/cs?searchtype=author&query=Wang%2C+Q
Journal Paper in FMSD
August 23, 2022
The paper entitled “The Probabilistic Termination Tool Amber” by Ezio Bartocci, Marcel Moosbrugger, Joost-Pieter Katoen and Laura Kovacs has been accepted in a special issue devoted to the Formal Meth
Journal Paper in FMSD
August 21, 2022
The paper entitled “Stochastic Games with Lexicographic Objectives” by Krishnendu Chatterjee (IST), Joost-Pieter Katoen, Stephanie Mohr (TUM), Maximilain Weininger (TUM) and Tobias Winkler has been ac
Paper in Journal of the ACM
July 26, 2022
The paper entitled “Generative Datalog with Continuous Distributions” by Martin Grohe, Benjamin Kaminski, Joost-Pieter Katoen and Peter Lindner has been accepted in Journal of the ACM. The paper defin
Paper at OOPSLA 2022
July 1, 2022
The paper entitled “Reasoning about Distributed Reconfigurable Systems” by Emma Ahrens (RWTH), Marius Bozga (Grenoble), Radu Iosif (Grenoble) and Joost-Pieter Katoen has been accepted for presentation
Paper at CONCUR 2022
June 26, 2022
The paper entitled “Towards Concurrent Quantitative Separation Logic” by Ira Fesefeldt, Joost-Pieter Katoen and Thomas Noll has been accepted at the 33rd International Conference on Concurrency Theory
Paper at FMICS 2022
June 24, 2022
The paper entitled “Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining” by Th. Noll, J. Berger (both MOVES), W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen U
Paper at RAILWAYS 2022
June 24, 2022
The paper entitled “Identification of bottlenecks in rail infrastructure” by W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen University), S. Schotten, Th. Büker (both quattron man
Paper at QEST 2022
June 21, 2022
The paper entitled “POMDP Controllers With Optimal Budget” by Jip Spel, Svenja Stein and Joost-Pieter Katoen has been accepted for presentation at the 18th International Conference on Quantitative Eva
Paper at UAI 2022
May 17, 2022
The paper entitled “Inductive Synthesis of Finite-State Controllers for POMDPs” by Roman Andriushchenko_,_ Milan Ceska_,_ Sebastian Junges_,_ Joost-Pieter Katoen has been accepted for the 38th Confere
Member AKW-NRW
May 12, 2022
The North Rhine-Westphalian Academy of Sciences, Humanities and the Arts has elected Joost-Pieter Katoen as ordinary member. Katoen is the third computer scientist from RWTH Aachen University that has
Paper in STTT
May 12, 2022
The paper entitled “Scenario-Based Verification of Uncertain Parametric MDPs” by Thom Badings, Nils Jansen, and Sebastian Junges (all Radboud University Nijmegen, NL), Murat Cubuktepe and Ufuk Topcu (
CONCUR Test-of-Time Award
May 11, 2022
With great pleasure, we announce that the paper entitled “[Approximate symbolic model checking of continuous-time Markov chains](https://link.springer.com/content/pdf/10.1007/3-540-48320-9%5F12.pdf)”