ROCKS

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)