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
News
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)”
Successful Dissertation Defense
May 9, 2022
On April 28, Matthias Volk successfully defended his PhD dissertation entitled: “Dynamic Fault Trees: Analysis, Semantics, and Applications” for a jury consisting of the external examinar Allessandro
Paper at CAV 2022
May 4, 2022
The paper entitled “Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions” by Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg and Tobias Winkler
Two papers at NFM 2022
March 15, 2022
The paper “BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees” by Daniel Basgöze, Matthias Volk (Twente), Joost-Pieter Katoen, Shahid Khan and Marielle Stoelinga (Twente) as well a
Paper at TACAS 2022
December 30, 2021
The paper entitled “Under-Approximating Expected Total Rewards in POMDPs” by Alexander Bork, Tim Quatmann and Joost-Pieter Katoen has been accepted for the 28th International Conference on Tools and A
Paper at ESOP 2022
December 23, 2021
The paper entitled “Foundations for Entailment Checking in Quantitative Separation Logic” by Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja and Thomas
Paper at FoSSaCS 2022
December 23, 2021
The paper entitled “ Model Checking Temporal Properties of Recursive Probabilistic Programs" by Tobias Winkler, Christina Gehnen and Joost-Pieter Katoen has been accepted at the 25th Int. Conf. on Fo
Paper at OOPSLA 2022
December 17, 2021
The paper entitled “Weighted Programming: A Programming Paradigm for Specifying Mathematical Models” by Kevin Batz, Adrian Gallus, Benjamin Kaminski, Joost-Pieter Katoen and Tobias Winkler has been ac
RTG UnRAVeL Extended
November 14, 2021
The DFG has granted the RTG 2236 [UnRAVeL](https://www.unravel.rwth-aachen.de) (Uncertainty and Randomness in Algorithms, Verification and Logic) an extension to 2026\. The research training group has
Paper in IEEE TAC
November 7, 2021
The paper “Convex Optimization for Parameter Synthesis in MDPs” by Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu has been accepted for publication in the journal I
Paper in Distributed Computing
October 17, 2021
The paper entitled “Synthesizing Optimal Bias in Randomized Self-Stabilization Algorithms” by Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen and Saha Aflaki has been accepted for publication
Two papers at VMCAI 2022
October 15, 2021
Two papers of the MOVES group have been accepted at VMCAI 2022\. The paper entitled “Out of Control: Reducing Probabilistic Models by Control-State Elimination” by Tobias Winkler, Johannes Lehmann a
Paper at SEFM 2021
September 26, 2021
The tool paper entitled “A Debugger for Probabilistic Programs” by [Alexander Hoppen](https://alexhoppen.de) and [Thomas Noll](https://moves.rwth-aachen.de/people/noll/) has been accepted for presenta