Volume 43, Issue 2

October 2013

Special issue on Probabilistic Model Checking

Issue Editors:

9 articles in this issue

Preface to the special issue on Probabilistic Model Checking
Christel Baier
Marta Kwiatkowska
EditorialNotes 17 August 2013 Pages: 121 - 123
Analyzing probabilistic pushdown automata
Tomáš Brázdil
Javier Esparza
Antonín Kučera
OriginalPaper 20 July 2012 Pages: 124 - 163
Model checking for probabilistic timed automata
Gethin Norman
David Parker
Jeremy Sproston
OriginalPaper 12 October 2012 Pages: 164 - 190
A compositional modelling and analysis framework for stochastic hybrid systems
Ernst Moritz Hahn
Arnd Hartmanns
Joost-Pieter Katoen
OriginalPaper 17 August 2012 Pages: 191 - 232
Computable fixpoints in well-structured symbolic model checking
N. Bertrand
P. Schnoebelen
OriginalPaper 04 August 2012 Pages: 233 - 267
A survey of partial-observation stochastic parity games
Krishnendu Chatterjee
Laurent Doyen
Thomas A. Henzinger
OriginalPaper 04 July 2012 Pages: 268 - 284
Algorithmic probabilistic game semantics
Stefan Kiefer
Andrzej S. Murawski
James Worrell
OriginalPaper 20 September 2012 Pages: 285 - 312
On-the-fly verification and optimization of DTA-properties for large Markov chains
Linar Mikeev
Martin R. Neuhäußer
Verena Wolf
OriginalPaper 21 July 2012 Pages: 313 - 337
Bayesian statistical model checking with application to Stateflow/Simulink verification
Paolo Zuliani
André Platzer
Edmund M. Clarke
OriginalPaper 27 August 2013 Pages: 338 - 367

Search