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 […]

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 […]

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 […]

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 […]

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.

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 […]

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 […]

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 […]

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 […]

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 conference on automated verification, in particular model checking. More details can be found here: https://scholar.google.com.au/citations?hl=en&vq=eng_computerhardwaredesign&view_op=list_hcore&venue=qgBvh59sjMQJ.2020