×

Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. (English) Zbl 1298.68033

Lecture Notes in Computer Science 8453. Berlin: Springer (ISBN 978-3-662-45488-6/pbk). xii, 281 p. (2014).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Andreychenko, Alexander; Krüger, Thilo; Spieler, David, Analyzing oscillatory behavior with formal methods, 1-25 [Zbl 1427.92016]
Arnold, Florian; Gebler, Daniel; Guck, Dennis; Hatefi, Hassan, A tutorial on interactive Markov chains, 26-66 [Zbl 1426.68187]
Budde, Carlos E.; D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás, A theory for the semantics of stochastic and non-deterministic continuous systems, 67-86 [Zbl 1426.68188]
Dehnert, Christian; Gebler, Daniel; Volpato, Michele; Jansen, David N., On abstraction of probabilistic systems, 87-116 [Zbl 1426.68167]
Gebler, Daniel; Hashemi, Vahid; Turrini, Andrea, Computing behavioral relations for probabilistic concurrent systems, 117-155 [Zbl 1426.68183]
Gouberman, Alexander; Siegle, Markus, Markov reward models and Markov decision processes in discrete and continuous time: performance evaluation and optimization, 156-241 [Zbl 1426.68190]
Kolesnichenko, Anna; Senni, Valerio; Pourranjabar, Alireza; Remke, Anne, Applying mean-field approximation to continuous time Markov chains, 242-280 [Zbl 1426.68011]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
00B15 Collections of articles of miscellaneous specific interest
PDFBibTeX XMLCite
Full Text: DOI