default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDValidation of Stochastic Systems 2004
- Christel Baier, Boudewijn R. Haverkort
, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle:
Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925, Springer 2004, ISBN 3-540-22265-0
Modelling Stochastic Systems
- Ana Sokolova, Erik P. de Vink:
Probabilistic Automata: System Types, Parallel Composition and Comparison. 1-43 - Mario Bravetti, Pedro R. D'Argenio:
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. 44-88 - Natalia López, Manuel Núñez:
An Overview of Probabilistic Process Algebras and their Equivalences. 89-123
Model Checking of Stochastic Systems
- Benedikt Bollig, Martin Leucker:
Verifying Qualitative Properties of Probabilistic Programs. 124-146 - Frank Ciesinski, Marcus Größer:
On Probabilistic Computation Tree Logic. 147-188 - Jeremy Sproston:
Model Checking for Probabilistic Timed Systems. 189-229
Representing Large State Spaces
- Rashid Mehmood:
Serial Disk-based Analysis of Large Stochastic Models. 230-255 - Peter Buchholz, Peter Kemper:
Kronecker Based Matrix Representations for Large Markov Models. 256-295 - Andrew S. Miner, David Parker:
Symbolic Representations and Analysis of Large Probabilistic Systems. 296-338 - Matthias Kuntz, Kai Lampka:
Probabilistic Methods in State Space Analysis. 339-383
Deductive Verification of Stochastic Systems
- Gethin Norman:
Analysing Randomized Distributed Algorithms. 384-418 - Michael Huth:
An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems. 419-444 - Philippe Schnoebelen:
The Verification of Probabilistic Lossy Channel Systems. 445-466
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
