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 alphaFactory: A Tool for Generating the Alpha Factors of General Distributions

2017 ◽  
pp. 36-51 ◽  
Author(s):  
Elvio Gilberto Amparore ◽  
Susanna Donatelli
Keyword(s):  
General Distributions

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

scholarly journals Statistical Abstraction for Multi-scale Spatio-Temporal Systems

2017 ◽  
pp. 243-258 ◽  
Author(s):  
Michalis Michaelides ◽  
Jane Hillston ◽  
Guido Sanguinetti
Keyword(s):  
Multi Scale ◽  
Spatio Temporal

scholarly journals Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels

2017 ◽  
pp. 72-87 ◽  
Author(s):  
Andrea Peruffo ◽  
Emeline Guiu ◽  
Patrick Panciatici ◽  
Alessandro Abate
Keyword(s):  
Markov Models ◽  
Heterogeneous Population ◽  
Photovoltaic Panels

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