C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ROCKS
2012
2013
2014
2012
2014
Keyphrases
Publications
volume 8453, 2014
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
ROCKS
8453 (2014)
2012
Alexandr Andreychenko
,
Thilo Krüger
,
David Spieler
Analyzing Oscillatory Behavior with Formal Methods.
ROCKS
(2012)
Carlos E. Budde
,
Pedro R. D'Argenio
,
Pedro Sánchez Terraf
,
Nicolás Wolovick
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.
ROCKS
(2012)
Florian Arnold
,
Daniel Gebler
,
Dennis Guck
,
Hassan Hatefi
A Tutorial on Interactive Markov Chains.
ROCKS
(2012)
Alexander Gouberman
,
Markus Siegle
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization.
ROCKS
(2012)
Christian Dehnert
,
Daniel Gebler
,
Michele Volpato
,
David N. Jansen
On Abstraction of Probabilistic Systems.
ROCKS
(2012)
Daniel Gebler
,
Vahid Hashemi
,
Andrea Turrini
Computing Behavioral Relations for Probabilistic Concurrent Systems.
ROCKS
(2012)
Anna Kolesnichenko
,
Valerio Senni
,
Alireza Pourranjabar
,
Anne Remke
Applying Mean-Field Approximation to Continuous Time Markov Chains.
ROCKS
(2012)