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
News
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
Two papers at CAV 2021
April 19, 2021
The papers “Latticed _k_\-Induction with an Application to Probabilistic Programs” by Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja and Philipp Schröer a
Paper at DSN 2021
April 6, 2021
The paper “Model Checking the Multi-Formalism Language FIGARO” by Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant and Marc Bouissou has been accepted at the 51st Annual IEEE/IFIP Int.
Paper at LICS 2021
April 6, 2021
The paper entitled “Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata” by [Mikołaj Bojańczyk](https://simons.berkeley.edu/people/mikolaj-bojanczyk), [Bartek Klin](http://www.mimuw.