Limit search to available items
Book Cover
E-book
Author International Conference on the Quantitative Evaluation of Systems (17th : 2020 : Online)

Title Quantitative evaluation of systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings / Marco Gribaudo, David N. Jansen, Anne Remke (eds.)
Published Cham : Springer, [2020]

Copies

Description 1 online resource (xi, 298 pages) : illustrations (some color)
Series Lecture notes in computer science, 0302-9743 ; 12289
LNCS sublibrary: SL1 - Theoretical computer science and general issues
Lecture notes in computer science ; 12289.
LNCS sublibrary. SL 1, Theoretical computer science and general issues ; 12289.
Contents Machine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs
Summary This volume contains the papers presented at the International Conference on Quantitative Evaluation of Systems (QEST 2020), held online during August 31-September 3, 2020, and organized by TU Wien, Austria. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies
Notes International conference proceeding
Bibliography Includes bibliographical references and author index
Notes Online resource; title from PDF title page (SpringerLink, viewed January 27, 2021)
Subject Computer systems -- Evaluation -- Congresses
Computer networks -- Evaluation -- Congresses
Reliability (Engineering) -- Congresses
Stochastic processes -- Congresses
Computers.
Software engineering.
Artificial intelligence.
Mathematical statistics.
Computer networks.
Computer science -- Mathematics.
Computers
Artificial Intelligence
Computer Communication Networks
computers.
artificial intelligence.
Stochastic processes
Reliability (Engineering)
Computer systems -- Evaluation
Computer networks -- Evaluation
Artificial intelligence
Computer networks
Computer science -- Mathematics
Computers
Mathematical statistics
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Gribaudo, Marco, 1972- editor
Jansen, David N., editor
Remke, Anne, 1980- editor.
ISBN 9783030598549
3030598543
Other Titles QEST 2020