Abstract is missing.
- Advances in Model RepresentationsMarkus Siegle. 1-22 [doi]
- Faster and Symbolic CTMC Model CheckingJoost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. 23-38 [doi]
- Reachability Analysis of Probabilistic Systems by Successive RefinementsPedro R. D Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen. 39-56 [doi]
- Beyond Memoryless Distributions: Model Checking Semi-Markov ChainsGabriel G. Infante López, Holger Hermanns, Joost-Pieter Katoen. 57-70 [doi]
- Coin Lemmas with Random VariablesKatia Folegati, Roberto Segala. 71-86 [doi]
- MoDeST - A Modelling and Description Language for Stochastic Timed SystemsPedro R. D Argenio, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren. 87-104 [doi]
- Randomization Helps in LTL Model CheckingLubos Brim, Ivana Cerná, Martin Necesal. 105-119 [doi]
- An Efficient Kronecker Representation for PEPA ModelsJane Hillston, Leïla Kloul. 120-135 [doi]
- Reward Based Congruences: Can We Aggregate More?Marco Bernardo, Mario Bravetti. 136-151 [doi]
- Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra PrefixesLucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort. 152-167 [doi]
- Expressing Processes with Different Action Durations through ProbabilitiesMario Bravetti, Alessandro Aldini. 168-183 [doi]
- Quantifying the Dynamic Behavior of Process AlgebrasPeter Buchholz, Peter Kemper. 184-199 [doi]
- Implementing a Stochastic Process Algebra within the Möbius Modeling FrameworkGraham Clark, William H. Sanders. 200-216 [doi]