Searching for authors named "Frank Ciesinski" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
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
Showing 1 through 4.
