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
News
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
Paper at LADC 2021
September 24, 2021
The paper entitled “Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees” by Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar and Falak Sher has been accepted for pre
Paper at PRDC 2021
September 16, 2021
The paper entitled “Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs” by Shahid Khan and Joost-Pieter Katoen has been accepted for presentation at PRDC 2021, the IEEE Pacific Rim
Paper in STTT Journal
September 16, 2021
The paper entitled “DFT Modeling Approach for Operational Risk Assessment of Railway Infrastructure” by Matthias Volk, Norman Weik (DLR), Nils Nießen, and Joost-Pieter Katoen has been accepted for p