default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th QEST 2020: Vienna, Austria
- Marco Gribaudo
, David N. Jansen, Anne Remke:
Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings. Lecture Notes in Computer Science 12289, Springer 2020, ISBN 978-3-030-59853-2
Invited Paper
- Evgenia Smirni:
Machine Learning for Reliability Analysis of Large Scale Systems. 3-7
Predictive Performance and Machine Learning
- Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. 11-17 - Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen J. Roberts:
SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis. 18-26 - Denis Repin, Nhat-Huy Phung, Tatjana Petrov:
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks. 27-32
Model Checking and Verification
- Marco Bernardo:
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism. 35-53 - Mojgan Kamali, Joost-Pieter Katoen:
Probabilistic Model Checking of AODV. 54-73 - Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. 74-95 - Kizito Salako:
Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary Classifiers. 96-114 - Bahare Salmani, Joost-Pieter Katoen:
Bayesian Inference by Symbolic Model Checking. 115-133
Queuing Networks
- Olivia Das, Arindam Das:
CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based Systems. 137-143 - Andrea Marin, Sabina Rossi, Carlo Zen:
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues. 144-147 - Mehmet Akif Yazici, Tuan Phung-Duc:
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis. 148-152
Markov Processes
- Michael Backenköhler, Luca Bortolussi, Verena Wolf:
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. 155-174 - Andreas Blume, Peter Buchholz, Clara Scherbaum:
Markovian Arrival Processes in Multi-dimensions. 175-192 - Michele Boreale:
Automatic Pre- and Postconditions for Partial Differential Equations. 193-210 - Gerrit Großmann, Michael Backenköhler, Verena Wolf:
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study. 211-229
Applications
- Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga:
The Dynamic Fault Tree Rare Event Simulator. 233-238 - Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev:
Entropy Measurement of Concurrent Disorder. 239-257 - Kartik Palani, David M. Nicol:
Hardening Critical Infrastructure Networks Against Attacker Reconnaissance. 258-275 - Michael J. Rausch, William H. Sanders:
Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models Through a Stacked Ensemble of Metamodels. 276-293
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-22 01:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
