A Aralex Aachen research explorer

September 01, 2013 conference-paper

Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking

Proceedings/Proceedings - Symposium on Reliable Distributed Systems

DOI: 10.1109/srds.2013.24 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 19

Probabilistic Hyperproperties with Rewards
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

6

citations
Synthesizing optimal bias in randomized self-stabilization
2021 Distributed Computing article Computer Science Distributed systems and fault tolerance Open access

3

citations

2 results

References 0