Post navigation

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 Conference …
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, Joost-Pieter Katoen and Simon Stupinsky has been accepted as tool paper at CAV 2021. The …
Storm in Aachener Nachrichten
May 15, 2021
The newspaper Aachener Nachrichten published the article Storm findet sicherheitskritische Softwarefehler. The article addresses Storm and its applications in industry.