29 citations · 149 across the 31 of their papers we have counts for
4 papers · 1 filter
Model Checking CSL for Markov Population Models
David Spieler, Ernst Moritz Hahn, Lijun Zhang
Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinite-state continuous…
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Lei Song, Lijun Zhang, Jens Chr. Godskesen +1
Probabilistic automata (PAs) have been successfully applied in formal verification of concurrent and stochastic systems. Efficient model checking algorithms have been studied, wher…
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 CSL Model Checking Using Stratification
Lijun Zhang, David N. Jansen, Flemming Nielson +1
For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal,…