default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th QEST 2021: Paris, France
- Alessandro Abate
, Andrea Marin:
Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings. Lecture Notes in Computer Science 12846, Springer 2021, ISBN 978-3-030-85171-2
Keynote Speaker
- Boudewijn R. Haverkort:
Performance Evaluation: Model-Driven or Problem-Driven? 3-11
Probabilistic Model Checking
- Michaela Klauck, Holger Hermanns:
A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking. 15-38 - Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel:
Tweaking the Odds in Probabilistic Timed Automata. 39-58 - Samuel Teuber, Alexander Weigl:
Quantifying Software Reliability via Model-Counting. 59-79
Quantitative Models and Metamodels: Analysis and Validation
- Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario:
Compositional Safe Approximation of Response Time Distribution of Complex Workflows. 83-104 - Stefan Kaalen, Mattias Nyberg, Olle Mattsson:
Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow. 105-126 - Michael J. Rausch, William H. Sanders:
Evaluating the Effectiveness of Metamodeling in Emulating Quantitative Models. 127-145
Queueing Systems
- Alexander Scheffler, Steffen Bondorf:
Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems. 149-167 - Maryam Akbari-Moghaddam, Douglas G. Down:
SEH: Size Estimate Hedging for Single-Server Queues. 168-185 - Bogdan Ghit, Asser N. Tantawi:
An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets. 186-194
Learning and Verification
- Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf:
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. 197-216 - Paul Piho, Jane Hillston:
Active and Sparse Methods in Smoothed Model Checking. 217-234 - Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin:
Safe Learning for Near-Optimal Scheduling. 235-254
Simulation
- Rebecca Haehn, Erika Ábrahám, Nils Nießen:
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies. 257-275 - Marco Gribaudo, Mauro Iacono, Daniele Manini:
Simulation of N-Dimensional Second-Order Fluid Models with Different Absorbing, Reflecting and Mixed Barriers. 276-292
Performance Evaluation
- C. Murray Woodside:
Queue Response Times with Server Speed Controlled by Measured Utilizations. 295-309 - Runan Wang, Giuliano Casale, Antonio Filieri:
Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes. 310-328 - Grzegorz Kielanski, Benny Van Houdt:
Performance Analysis of Work Stealing Strategies in Large Scale Multi-threaded Computing. 329-348
Abstractions and Aggregations
- Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf:
Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. 351-371 - Carla Piazza, Sabina Rossi:
Reasoning About Proportional Lumpability. 372-390 - Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Lumpability for Uncertain Continuous-Time Markov Chains. 391-409
Stochastic Models
- Engel Lefaucheux:
Accurate Approximate Diagnosis of (Controllable) Stochastic Systems. 413-434 - Carina Pilch, Stefan Schupp, Anne Remke:
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. 435-456 - Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga:
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. 457-467
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 2025-02-27 22:34 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
