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

TOTAL DOCUMENTS

21

(FIVE YEARS 21)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030598532, 9783030598549

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_4 ◽

2020 ◽

pp. 27-32

Author(s):

Denis Repin ◽

Nhat-Huy Phung ◽

Tatjana Petrov

Keyword(s):

Reaction Networks ◽

Stochastic Reaction ◽

Stochastic Reaction Networks

Download Full-text

Entropy Measurement of Concurrent Disorder

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_18 ◽

2020 ◽

pp. 239-257

Author(s):

Victor Cook ◽

Christina Peterson ◽

Zachary Painter ◽

Damian Dechev

Keyword(s):

Entropy Measurement

Download Full-text

Automatic Pre- and Postconditions for Partial Differential Equations

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_15 ◽

2020 ◽

pp. 193-210

Author(s):

Michele Boreale

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Partial Differential

Download Full-text

Markovian Arrival Processes in Multi-dimensions

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_14 ◽

2020 ◽

pp. 175-192

Author(s):

Andreas Blume ◽

Peter Buchholz ◽

Clara Scherbaum

Keyword(s):

Arrival Processes

Download Full-text

M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_12 ◽

2020 ◽

pp. 148-152

Author(s):

Mehmet Akif Yazici ◽

Tuan Phung-Duc

Keyword(s):

Fluid Analysis ◽

Multiple Thresholds

Download Full-text

Machine Learning for Reliability Analysis of Large Scale Systems

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_1 ◽

2020 ◽

pp. 3-7

Author(s):

Evgenia Smirni

Keyword(s):

Machine Learning ◽

Reliability Analysis ◽

Large Scale ◽

Large Scale Systems

Download Full-text

Bounding Mean First Passage Times in Population Continuous-Time Markov Chains

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_13 ◽

2020 ◽

pp. 155-174

Author(s):

Michael Backenköhler ◽

Luca Bortolussi ◽

Verena Wolf

Keyword(s):

Markov Chains ◽

Continuous Time ◽

First Passage Times ◽

First Passage ◽

Mean First Passage Times ◽

Continuous Time Markov Chains ◽

Download Full-text

Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_8 ◽

2020 ◽

pp. 96-114

Author(s):

Kizito Salako

Keyword(s):

Binary Classifiers

Download Full-text

Probabilistic Model Checking of AODV

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_6 ◽

2020 ◽

pp. 54-73

Author(s):

Mojgan Kamali ◽

Joost-Pieter Katoen

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59854-9_11 ◽

2020 ◽

pp. 144-147

Author(s):

Andrea Marin ◽

Sabina Rossi ◽

Carlo Zen

Keyword(s):

Processor Sharing ◽

Processor Sharing Queues

Download Full-text