Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662454886, 9783662454893

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analyzing Oscillatory Behavior with Formal Methods

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45489-3_1 ◽

2014 ◽

pp. 1-25

Author(s):

Alexander Andreychenko ◽

Thilo Krüger ◽

David Spieler

Keyword(s):

Formal Methods ◽

Oscillatory Behavior

Download Full-text

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45489-3_3 ◽

2014 ◽

pp. 67-86 ◽

Cited By ~ 1

Author(s):

Carlos E. Budde ◽

Pedro R. D’Argenio ◽

Pedro Sánchez Terraf ◽

Nicolás Wolovick

Keyword(s):

Continuous Systems

Download Full-text

Applying Mean-Field Approximation to Continuous Time Markov Chains

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45489-3_7 ◽

2014 ◽

pp. 242-280

Author(s):

Anna Kolesnichenko ◽

Valerio Senni ◽

Alireza Pourranjabar ◽

Anne Remke

Keyword(s):

Markov Chains ◽

Continuous Time ◽

Mean Field ◽

Field Approximation ◽

Mean Field Approximation ◽

Continuous Time Markov Chains

Download Full-text

A Tutorial on Interactive Markov Chains

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45489-3_2 ◽

2014 ◽

pp. 26-66

Author(s):

Florian Arnold ◽

Daniel Gebler ◽

Dennis Guck ◽

Hassan Hatefi

Keyword(s):

Markov Chains

Download Full-text

Computing Behavioral Relations for Probabilistic Concurrent Systems

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45489-3_5 ◽

2014 ◽

pp. 117-155 ◽

Cited By ~ 4

Author(s):

Daniel Gebler ◽

Vahid Hashemi ◽

Andrea Turrini

Keyword(s):

Concurrent Systems

Download Full-text

On Abstraction of Probabilistic Systems

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45489-3_4 ◽

2014 ◽

pp. 87-116 ◽

Cited By ~ 4

Author(s):

Christian Dehnert ◽

Daniel Gebler ◽

Michele Volpato ◽

David N. Jansen

Keyword(s):

Probabilistic Systems

Download Full-text

Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45489-3_6 ◽

2014 ◽

pp. 156-241 ◽

Cited By ~ 3

Author(s):

Alexander Gouberman ◽

Markus Siegle

Keyword(s):

Performance Evaluation ◽

Markov Decision Processes ◽

Continuous Time ◽

Decision Processes ◽

Time Performance ◽

Markov Decision ◽

Markov Reward ◽

Markov Reward Models

Download Full-text

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Analyzing Oscillatory Behavior with Formal Methods

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems

Applying Mean-Field Approximation to Continuous Time Markov Chains

A Tutorial on Interactive Markov Chains

Computing Behavioral Relations for Probabilistic Concurrent Systems

On Abstraction of Probabilistic Systems

Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - Lecture Notes in Computer Science
Latest Publications