Searching for authors named "Frank Ciesinski" – sorted by Relevance.
-
PROBMELA: a modeling language for communicating probabilistic processes
- by the DFG-project “VERIAM”. Christel Baier, Frank Ciesinski, Marcus Größer ∗ Universität Bonn, Institut für
- Cited by 7 (2 self) – Add To MetaCart
-
Quantitative Analysis of Distributed Randomized Protocols
- ABSTRACT Quantitative Analysis of Distributed Randomized Protocols Christel Baier Frank Ciesinski
- Cited by 1 (0 self) – Add To MetaCart
-
Partial order reduction for probabilistic systems
- Partial Order Reduction for Probabilistic Systems Christel Baier, Marcus Größer ⋆ , Frank
- Cited by 6 (2 self) – Add To MetaCart
-
Controller synthesis for probabilistic systems
- Größer1∗∗ , Martin Leucker2∗∗∗ , Benedikt Bollig3 , Frank Ciesinski1∗ 1 Institut für Informatik I
- Cited by 2 (0 self) – Add To MetaCart

