|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anne Remke, Mariëlle Stoelinga (eds.) |
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  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandr Andreychenko, Thilo Krüger, David Spieler |
Analyzing Oscillatory Behavior with Formal Methods. |
ROCKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Arnold, Daniel Gebler, Dennis Guck, Hassan Hatefi |
A Tutorial on Interactive Markov Chains. |
ROCKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Gouberman, Markus Siegle |
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization. |
ROCKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen |
On Abstraction of Probabilistic Systems. |
ROCKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Gebler, Vahid Hashemi, Andrea Turrini |
Computing Behavioral Relations for Probabilistic Concurrent Systems. |
ROCKS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Kolesnichenko, Valerio Senni, Alireza Pourranjbar, Anne Remke |
Applying Mean-Field Approximation to Continuous Time Markov Chains. |
ROCKS |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license