2 citations · 4 across the 4 of their papers we have counts for
4 papers
On Stabilization in Herman's Algorithm
Stefan Kiefer, Andrzej Murawski, Joël Ouaknine +2
Herman's algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics of…
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Tomas Brazdil, Stefan Kiefer, Antonin Kucera
We show that a subclass of infinite-state probabilistic programs that can be modeled by probabilistic one-counter automata (pOC) admits an efficient quantitative analysis. In parti…
On Probabilistic Parallel Programs with Process Creation and Synchronisation
Stefan Kiefer, Dominik Wojtczak
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo…
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
Morten Kühnrich, Stefan Schwoon, Jiří Srba +1
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes after…