Moves News

Paper in STTT Journal

The paper entitled “DFT Modeling Approach for Operational Risk Assessment of RailwayInfrastructure” by Matthias Volk, Norman Weik (DLR), Nils Nießen, and Joost-Pieter Katoen has been accepted for publication in the journal Software Tools for Technology Transfer (STTT). The paper is an extension of the FMICS 2019 paper (awarded the best paper award) and presents a […]

Paper at PRDC 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 Dependability Conference. The paper proposes a translation from Boussiou’s BDMPs to repairable DFTs so as to use the repair mechanism of BDMP in rDFT. The validity […]

Paper at GandALF 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, Automata, Logics, and Formal Verification (GandALF 2021). The paper provides new results on stochastic two-player games with disjunctive objectives given by an alternative of threshold conditions for the […]

Paper at FM 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 paper presents the first tool that automates the checking whether a probabilistic program is AST, PAST, non-AST, non-PAST, or “don’t know”. (AST = almost-sure termination, PAST […]

Distinguished Paper at LICS 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 2021, the 36th Annual ACM/IEEE Symposium on Logic in Computer Science.

Award for outstanding Bachelor’s Thesis

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

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 Reasoning with Uncertainty (ECSQARU 2021). The paper proposes the usage of parameter synthesis techniques for Markov chains to analyse Bayesian networks with symbolic parameters in the […]

Paper at ICTAC 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 International Colloquium on Theoretical Aspects ofComputing (ICTAC 2021). The paper introduces a GPU-based methodolgy to improve sparse-matrix vector multiplication in probabilistic model checking. The main contribution […]

Paper at QEST 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 on Quantitative Evaluation of Systems (QEST 2021). The paper shows that two well-known techniques (digital clocks and backward reachability) for probabilistic timed automata (PTA) carry […]

Tool Paper at CAV 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 paper passed both the normal paper review as well as the artifact evaluation review. PAYNT is a tool that supports the automated synthesis of finite-state […]