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
News
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
Paper at GandALF 2021
August 10, 2021
The paper entitled “Stochastic Games with Disjunctions of Multiple Objectives” by Tobias Winkler and Maxi Weininger (TU Munich) has been accepted for the Twelfth International Symposium on Games, Auto
Paper at FM 2021
July 18, 2021
The tool paper “The Probabilistic Termination Tool Amber” by Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen and Laura Kovacs has been accpted to FM2021, the conference on Formal Methods. The p
Distinguished Paper at LICS 2021
July 13, 2021
The paper “Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata ” by Mikołaj Bojańczyk, Bartek Klin (both Warsaw Univ.) and Joshua Moerman was selected as Distinguished Paper at LICS
Award for outstanding Bachelor’s Thesis
June 26, 2021
Christina Gehnen has received an award from the Fachgruppe Informatik at RWTH for her Bachelor’s thesis entitled “_Automata-based Model Checking of Recursive Systems_“. Congratulations!
Paper at ECSQARU 2021
June 23, 2021
The paper entitled “Fine-Tuning the Odds for Bayes Networks” by Bahare Salmani and Joost-Pieter Katoen has been accepted for the 16th European Conference on Symbolic and Quantitative Approaches to Rea
Paper at ICTAC 2021
June 23, 2021
The paper entitled “Accelerating SpMV Multiplication in Probabilistic Model Checkers using GPUs” by Muhammad Hannan Khan (NUST), Osman Hasan (NUST) and Shahid Khan has been accepted at the 18th Intern
Paper at QEST 2021
June 8, 2021
The paper entitled “Tweaking the Odds in Probabilistic Timed Automata” by Arnd Hartmanns (Twente), Joost-Pieter Katoen, Bram Kohlen (Twente) and Jip Spel has been accepted at the 18th International Co
Tool Paper at CAV 2021
May 28, 2021
The paper “PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs” by Roman Andriushchenko, Milan Ceska, [Sebastian Junges](https://sjunges.github.io/sebastian-junges/), [Joost-Pieter Katoen]
Storm in Aachener Nachrichten
May 15, 2021
The newspaper _Aachener Nachrichten_ published the article [Storm findet sicherheitskritische Softwarefehler](https://www.aachener-nachrichten.de/wirtschaft/storm-findet-sicherheitskritische-softwaref
Paper at SafeComp 2021
April 30, 2021
The paper “_A Modular Approach To Non-Deterministic Dynamic Fault Trees_” by [Sascha Müller](https://www.dlr.de/sc/desktopdefault.aspx/tabid-1192/1635%5Fread-33520/sortby-lastname/), Adeline Jordon, [
Two MOVES papers in Top-5 most cited papers at CAV 2015-2021
April 23, 2021
The papers on the Storm model checker and the parameter synthesis tool Prophesy are both among the five most cited CAV papers in the period 2015-2021\. CAV (Computer-Aided Verification) is a flagship
Paper at ICGT 2021
April 20, 2021
The paper “_Automated Detection and Completion of Confluence for Graph Grammars_” by [Ira Fesefeldt](https://moves.rwth-aachen.de/people/fesefeldt/), [Christoph Matheja](https://www.pm.inf.ethz.ch/peo