Christel Baier, Frank Ciesinski, Marcus Groesser  Home/Search
Context
Related
| web.informatik.unibonn.d...fmics05.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.informatik.un...publikationen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A wide range of coordination protocols for distributed systems, internet protocols or systems with unreliable components can formally be modelled by Markov decision processes (MDP). MDPs can be viewed as a variant of state-transition diagrams with discrete probabilities and nondeterminism. While traditional model checking techniques for non-probabilistic systems aim to establish properties stating that all (or some) computations fulfill a certain condition, the verification problem for... (Update)
Active bibliography (related documents): More All
1.3: Partial Order Reduction For Probabilistic Branching Time - Baier, D'Argenio, Groesser (2005) (Correct)
0.5: Probabilistic Models for Reo Connector Circuits - Baier (2005) (Correct)
0.4: PROBMELA: a modeling language for communicating.. - Baier, Ciesinski, Größer (2004) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ baier-quantitative,
author = "Christel Baier and Frank Ciesinski and Marcus Groesser",
title = "Quantitative Analysis of Distributed Randomized Protocols",
url = "citeseer.ist.psu.edu/baier05quantitative.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
135 Partial Order Methods for the Verification of Concurrent Sys.. - Godefroid - 1996
129 Model checking of probabilistic and nondeterministic systems - Bianco, de Alfaro - 1995
128 Automatic verification of probabilistic concurrent finite-st.. (context) - Vardi - 1985
94 Model checking for a probabilistic branching time logic with.. - Baier, Kwiatkowska - 1998
77 non-determinacy and the formal derivation of programs (context) - Dijkstra - 1975
74 Symbolic model checking for probabilistic processes - Baier, Clarke et al. - 1997
67 The complexity of probabilistic verification (context) - Courcoubetis, Yannakakis - 1995
31 Markov decision processes and regular events (context) - Courcoubetis, Yannakakis - 1990
30 Probabilistic symbolic model checking with prism: A hybrid a.. - Kwiatkowska, Norman et al. - 2004
28 Partial order reduction: Linear and branching time logics an.. (context) - Peled - 1996
19 Formal Verification of Probabilistic Systems (context) - de Alfaro - 1997
18 Stubborn set methods for process algebras (context) - Valmari
16 Symmetry breaking in distributed networks - Itai, Rodeh - 1990
16 pGCL: formal reasoning for random algorithms - Morgan, McIver - 1999
10 Primer and Reference Manual (context) - Holzmann, Model - 2003
9 Temporal logics for the specification of performance and rel.. - de Alfaro - 1997
8 Partial Order Methods in Verification (context) - Peled, Pratt et al. - 1997
7 The ANTLR Reference Manual (context) - Parr - 1999
6 the costs and benefits of using partial-order methods for th.. - Godefroid - 1996
4 Probmela: a modeling language for communicating probabilisti.. - Baier, Ciesinski et al. - 2004
3 RAPTURE: A tool for verifying Markov Decision Processes (context) - Jeannet, d'Argenio et al. - 2002
3 The modest modeling tool and its implementation (context) - Bohnenkamp, Hermanns et al. - 2003
2 Partial order reduction for probabilistic systems (context) - Baier, Grer et al. - 2004
2 Partial order reduction on concurrent probabilistic programs (context) - D'Argenio, Niebert - 2004
1 Partial order reduction for probabilistic branching time - Baier, D'Argenio et al.
1 Validation of Stochastic Systems (context) - Baier, Haverkort et al. - 2003
1 Monographs in Computer Science (context) - Morgan, McIver et al. - 2005
Documents on the same site (http://web.informatik.uni-bonn.de/I/baier/publikationen.html): More
Symbolic Reasoning with Weighted and Normalized Decision.. - Ossowski, Baier (2005) (Correct)
Synthesis of Reo Circuits for Implementation of.. - Arbab, Baier, de.. (2004) (Correct)
Model Checking Action- and State-Labelled Markov Chains - Baier, Cloth, Haverkort, al. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC