default search action

combined dblp search
author search
venue search
publication search

ask others

ROCKS 2012: Vahrn, Italy

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > ROCKS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rocks/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/2012
Anne Remke, Mariëlle Stoelinga:
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. Lecture Notes in Computer Science 8453, Springer 2014, ISBN 978-3-662-45488-6 [contents]
- view
  authority control:
- export record
  dblp key:
  - conf/rocks/AndreychenkoKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/AndreychenkoKS12
Alexandr Andreychenko, Thilo Krüger, David Spieler:
Analyzing Oscillatory Behavior with Formal Methods. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/rocks/ArnoldGGH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/ArnoldGGH12
Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi:
A Tutorial on Interactive Markov Chains. 26-66
- view
  authority control:
- export record
  dblp key:
  - conf/rocks/BuddeDTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/BuddeDTW12
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. 67-86
- view
  authority control:
- export record
  dblp key:
  - conf/rocks/DehnertGVJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/DehnertGVJ12
Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen:
On Abstraction of Probabilistic Systems. 87-116
- view
  authority control:
- export record
  dblp key:
  - conf/rocks/GeblerHT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/GeblerHT12
Daniel Gebler, Vahid Hashemi, Andrea Turrini:
Computing Behavioral Relations for Probabilistic Concurrent Systems. 117-155
- view
  authority control:
- export record
  dblp key:
  - conf/rocks/GoubermanS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/GoubermanS12
Alexander Gouberman, Markus Siegle:
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization. 156-241
- view
  authority control:
- export record
  dblp key:
  - conf/rocks/KolesnichenkoSPR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rocks/KolesnichenkoSPR12
Anna Kolesnichenko, Valerio Senni, Alireza Pourranjbar, Anne Remke:
Applying Mean-Field Approximation to Continuous Time Markov Chains. 242-280

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.