The SCEAS System
Navigation Menu

Conferences in DBLP

Validation of Stochastic Systems (voss)
2004 (conf/voss/2004)

  1. Ana Sokolova, Erik P. de Vink
    Probabilistic Automata: System Types, Parallel Composition and Comparison. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:1-43 [Conf]
  2. Mario Bravetti, Pedro R. D'Argenio
    Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:44-88 [Conf]
  3. Natalia López, Manuel Núñez
    An Overview of Probabilistic Process Algebras and their Equivalences. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:89-123 [Conf]
  4. Benedikt Bollig, Martin Leucker
    Verifying Qualitative Properties of Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:124-146 [Conf]
  5. Frank Ciesinski, Marcus Größer
    On Probabilistic Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:147-188 [Conf]
  6. Jeremy Sproston
    Model Checking for Probabilistic Timed Systems. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:189-229 [Conf]
  7. Rashid Mehmood
    Serial Disk-based Analysis of Large Stochastic Models. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:230-255 [Conf]
  8. Peter Buchholz, Peter Kemper
    Kronecker Based Matrix Representations for Large Markov Models. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:256-295 [Conf]
  9. Andrew S. Miner, David Parker
    Symbolic Representations and Analysis of Large Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:296-338 [Conf]
  10. Matthias Kuntz, Kai Lampka
    Probabilistic Methods in State Space Analysis. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:339-383 [Conf]
  11. Gethin Norman
    Analysing Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:384-418 [Conf]
  12. Michael Huth
    An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:419-444 [Conf]
  13. Ph. Schnoebelen
    The Verification of Probabilistic Lossy Channel Systems. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:445-466 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002