The paper entitled “Synthesizing Optimal Bias in Randomized Self-Stabilization Algorithms” by Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen and Saha Aflaki has been accepted for publication in the journal Distributed Computing. It presents a parameter-synthesis technique to automatically determine optimal biases of coin flips in randomised self-stabilisation algorithms.
Two papers of the MOVES group have been accepted at VMCAI 2022. The paper entitled “Out of Control: Reducing Probabilistic Models by Control-State Elimination” by Tobias Winkler, Johannes Lehmann and Joost-Pieter Katoen presents a static-analysis technique for reducing finite-state probabilistic models in the PRISM modeling language. The paper entitled “Gradient-Descent for Randomized Controllers under Partial […]
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 presentation at the 10th Latin-American Symposium on Dependable Computing (LADC 2021). The paper models fire sprinkler systems in shopping centers by dynamic fault trees and […]
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 […]