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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319991535, 9783319991542

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_2 ◽

2018 ◽

pp. 20-35 ◽

Cited By ~ 7

Author(s):

Erika Ábrahám ◽

Borzoo Bonakdarpour

Keyword(s):

Temporal Logic

Download Full-text

On Saturation Effects in Coupled Speed Scaling

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_25 ◽

2018 ◽

pp. 407-422 ◽

Cited By ~ 1

Author(s):

Maryam Elahi ◽

Carey Williamson

Keyword(s):

Speed Scaling ◽

Saturation Effects

Download Full-text

Control and Optimization of the SRPT Service Policy by Frequency Scaling

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_16 ◽

2018 ◽

pp. 257-272 ◽

Cited By ~ 4

Author(s):

Andrea Marin ◽

Isi Mitrani ◽

Maryam Elahi ◽

Carey Williamson

Keyword(s):

Frequency Scaling ◽

Service Policy

Download Full-text

Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_18 ◽

2018 ◽

pp. 289-305 ◽

Cited By ~ 4

Author(s):

Dimitrios Milios ◽

Guido Sanguinetti ◽

David Schnoerr

Keyword(s):

Bayesian Inference ◽

Model Checking ◽

Markov Chains ◽

Probabilistic Model ◽

Continuous Time ◽

Probabilistic Model Checking ◽

Continuous Time Markov Chains

Download Full-text

Automated Verification of Concurrent Stochastic Games

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_14 ◽

2018 ◽

pp. 223-239 ◽

Cited By ~ 3

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker ◽

Gabriel Santos

Keyword(s):

Stochastic Games ◽

Automated Verification

Download Full-text

Model Checking for Safe Navigation Among Humans

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_13 ◽

2018 ◽

pp. 207-222

Author(s):

Sebastian Junges ◽

Nils Jansen ◽

Joost-Pieter Katoen ◽

Ufuk Topcu ◽

Ruohan Zhang ◽

...

Keyword(s):

Model Checking ◽

Safe Navigation

Download Full-text

LIFT: Learning Fault Trees from Observational Data

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_19 ◽

2018 ◽

pp. 306-322 ◽

Cited By ~ 3

Author(s):

Meike Nauta ◽

Doina Bucur ◽

Mariëlle Stoelinga

Keyword(s):

Observational Data ◽

Fault Trees

Download Full-text

Hospital Inventory Management Through Markov Decision Processes @runtime

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_6 ◽

2018 ◽

pp. 87-103

Author(s):

Marco Biagi ◽

Laura Carnevali ◽

Francesco Santoni ◽

Enrico Vicario

Keyword(s):

Inventory Management ◽

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision

Download Full-text

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_7 ◽

2018 ◽

pp. 104-121 ◽

Cited By ~ 1

Author(s):

Luca Cardelli ◽

Mirco Tribastone ◽

Max Tschaikowski ◽

Andrea Vandin

Keyword(s):

Error Bounds ◽

Approximate Model ◽

Reachability Analysis ◽

Guaranteed Error Bounds

Download Full-text

On the Additive Capacity Problem for Quantitative Information Flow

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99154-2_1 ◽

2018 ◽

pp. 1-19 ◽

Cited By ~ 1

Author(s):

Konstantinos Chatzikokolakis

Keyword(s):

Information Flow ◽

Quantitative Information ◽

Quantitative Information Flow

Download Full-text

Quantitative Evaluation of Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

On Saturation Effects in Coupled Speed Scaling

Control and Optimization of the SRPT Service Policy by Frequency Scaling

Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference

Automated Verification of Concurrent Stochastic Games

Model Checking for Safe Navigation Among Humans

LIFT: Learning Fault Trees from Observational Data

Hospital Inventory Management Through Markov Decision Processes @runtime

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

On the Additive Capacity Problem for Quantitative Information Flow

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