Lecture Notes in Computer Science - Validation of Stochastic Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540222651, 9783540246114

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probabilistic Methods in State Space Analysis

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_10 ◽

2004 ◽

pp. 339-383 ◽

Cited By ~ 4

Author(s):

Matthias Kuntz ◽

Kai Lampka

Keyword(s):

State Space ◽

Probabilistic Methods ◽

Space Analysis ◽

State Space Analysis

Download Full-text

Analysing Randomized Distributed Algorithms

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_11 ◽

2004 ◽

pp. 384-418 ◽

Cited By ~ 17

Author(s):

Gethin Norman

Keyword(s):

Distributed Algorithms

Download Full-text

Kronecker Based Matrix Representations for Large Markov Models

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_8 ◽

2004 ◽

pp. 256-295 ◽

Cited By ~ 31

Author(s):

Peter Buchholz ◽

Peter Kemper

Keyword(s):

Markov Models ◽

Matrix Representations

Download Full-text

Model Checking for Probabilistic Timed Systems

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_6 ◽

2004 ◽

pp. 189-229 ◽

Cited By ~ 2

Author(s):

Jeremy Sproston

Keyword(s):

Model Checking ◽

Timed Systems

Download Full-text

Verifying Qualitative Properties of Probabilistic Programs

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_4 ◽

2004 ◽

pp. 124-146 ◽

Cited By ~ 1

Author(s):

Benedikt Bollig ◽

Martin Leucker

Keyword(s):

Qualitative Properties ◽

Probabilistic Programs

Download Full-text

Symbolic Representations and Analysis of Large Probabilistic Systems

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_9 ◽

2004 ◽

pp. 296-338 ◽

Cited By ~ 30

Author(s):

Andrew Miner ◽

David Parker

Keyword(s):

Symbolic Representations ◽

Probabilistic Systems

Download Full-text

An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_12 ◽

2004 ◽

pp. 419-444 ◽

Cited By ~ 8

Author(s):

Michael Huth

Keyword(s):

Probabilistic Systems

Download Full-text

Serial Disk-Based Analysis of Large Stochastic Models

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_7 ◽

2004 ◽

pp. 230-255 ◽

Cited By ~ 12

Author(s):

Rashid Mehmood

Keyword(s):

Stochastic Models

Download Full-text

An Overview of Probabilistic Process Algebras and Their Equivalences

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_3 ◽

2004 ◽

pp. 89-123 ◽

Cited By ~ 16

Author(s):

Natalia López ◽

Manuel Núñez

Keyword(s):

Process Algebras ◽

Probabilistic Process

Download Full-text

The Verification of Probabilistic Lossy Channel Systems

Lecture Notes in Computer Science - Validation of Stochastic Systems ◽

10.1007/978-3-540-24611-4_13 ◽

2004 ◽

pp. 445-465 ◽

Cited By ~ 16

Author(s):

Philippe Schnoebelen

Keyword(s):

Lossy Channel ◽

Channel Systems

Download Full-text

Lecture Notes in Computer Science - Validation of Stochastic SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Probabilistic Methods in State Space Analysis

Analysing Randomized Distributed Algorithms

Kronecker Based Matrix Representations for Large Markov Models

Model Checking for Probabilistic Timed Systems

Verifying Qualitative Properties of Probabilistic Programs

Symbolic Representations and Analysis of Large Probabilistic Systems

An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems

Serial Disk-Based Analysis of Large Stochastic Models

An Overview of Probabilistic Process Algebras and Their Equivalences

The Verification of Probabilistic Lossy Channel Systems

Lecture Notes in Computer Science - Validation of Stochastic Systems
Latest Publications