LEADER 05181nam 22007575 450 001 9910495168603321 005 20230515192446.0 010 $a3-030-85172-9 024 7 $a10.1007/978-3-030-85172-9 035 $a(CKB)4100000012007965 035 $a(MiAaPQ)EBC6709710 035 $a(Au-PeEL)EBL6709710 035 $a(DE-He213)978-3-030-85172-9 035 $a(PPN)257350721 035 $a(EXLCZ)994100000012007965 100 $a20210811d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aQuantitative Evaluation of Systems $e18th International Conference, QEST 2021, Paris, France, August 23?27, 2021, Proceedings /$fedited by Alessandro Abate, Andrea Marin 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (469 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12846 311 $a3-030-85171-0 327 $aKeynote Speaker -- Performance Evaluation: Model-Driven or Problem-Driven? -- Probabilistic Model Checking -- A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking -- Tweaking the Odds in Probabilistic Timed Automata -- Quantifying Software Reliability via Model-Counting -- Quantitative Models and Metamodels: Analysis and Validation -- Compositional safe approximation of response time distribution of complex workflows -- Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow -- Evaluating the Effectiveness of Metamodels in Emulating Quantitative Models -- Queueing Systems -- Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems -- SEH: Size Estimate Hedging for Single-Server Queues -- An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets -- Learning and Verification -- DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning -- Active and sparse methods in smoothed model checking -- Safe Learning for Near-Optimal Scheduling -- Simulation -- Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies -- Simulation of n-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers -- Performance Evaluation -- Queue Response Times with Server Speed Controlled by Measured Utilizations -- Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes -- Performance analysis of work stealing strategies in large scale multi-threaded computing -- Abstractions and Aggregations -- Stationary Distribution Approximations of Markovian Population Models using Aggregation -- Reasoning about Proportional Lumpability -- Lumpability for Uncertain Continuous-Time Markov Chains -- Stochastic Models -- Accurate Approximate Diagnosis of (Controllable) Stochastic Systems -- Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction -- Attack Trees vs. Fault Trees: two sides of the same coin from different currencies. 330 $aThis book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12846 606 $aComputer science 606 $aComputer science$xMathematics 606 $aMathematical statistics 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aAlgorithms 606 $aMachine theory 606 $aTheory of Computation 606 $aProbability and Statistics in Computer Science 606 $aArtificial Intelligence 606 $aSoftware Engineering 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aMathematical statistics. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aTheory of Computation. 615 24$aProbability and Statistics in Computer Science. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 676 $a004.24 702 $aAbate$b Alessandro 702 $aMarin$b Andrea 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910495168603321 996 $aQuantitative Evaluation of Systems$92914390 997 $aUNINA