Quantitative Evaluation of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319663340, 9783319663357
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

2017 ◽  
pp. 190-206 ◽  
Author(s):  
Christel Baier ◽  
Clemens Dubslaff ◽  
Ľuboš Korenčiak ◽  
Antonín Kučera ◽  
Vojtěch Řehák
Keyword(s):  
Markov Chains ◽  
Continuous Time ◽  
Continuous Time Markov Chains ◽  
Mean Payoff

scholarly journals Reachability in Parametric Interval Markov Chains Using Constraints

2017 ◽  
pp. 173-189 ◽  
Author(s):  
Anicet Bart ◽  
Benoît Delahaye ◽  
Didier Lime ◽  
Éric Monfroy ◽  
Charlotte Truchet
Keyword(s):  
Markov Chains

Quantitative Model Checking for a Smart Grid Pricing

2017 ◽  
pp. 55-71 ◽  
Author(s):  
YoungMin Kwon ◽  
Eunhee Kim ◽  
Seonghwan Jeong ◽  
Arthur H. Lee
Keyword(s):  
Model Checking ◽  
Smart Grid ◽  
Quantitative Model

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage

2017 ◽  
pp. 123-139 ◽  
Author(s):  
Marco Baldi ◽  
Ezio Bartocci ◽  
Franco Chiaraluce ◽  
Alessandro Cucchiarelli ◽  
Linda Senigagliesi ◽  
...  
Keyword(s):  
Cloud Storage ◽  
Small Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document