QEST2020: QUANTITATIVE EVALUATION OF SYSTEMS
PROGRAM

Days: Monday, August 31st Tuesday, September 1st Wednesday, September 2nd Thursday, September 3rd

Monday, August 31st

View this program: with abstractssession overviewtalk overview

Tuesday, September 1st

View this program: with abstractssession overviewtalk overview

12:00-13:00 Social Lunch: Best Paper Awards

During this lunch zoom session, the best-paper awards for CONCUR, FORMATS and QEST are announced.

[Video recording].

13:00-14:15 Session QES2: Model Checking I
Chair:
13:00
Multi-player Equilibria Verification for Concurrent Stochastic Games (abstract)
13:25
Automatic Pre- and Postconditions for Partial Differential Equations (abstract)
13:50
Compact and Explainable Strategy Representations using dtControl (abstract)
14:45-16:00 Session QES4: Machine Learning Tools
14:45
Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers (abstract)
15:10
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning (abstract)
15:25
SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis (abstract)
15:40
StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks (abstract)
Wednesday, September 2nd

View this program: with abstractssession overviewtalk overview

13:00-14:15 Session QES6: Networks and Queuing Models
13:00
Hardening Critical Infrastructure Networks Against Attacker Reconnaissance (abstract)
13:25
CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems (abstract)
13:40
A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues (abstract)
13:55
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis (abstract)
14:45-16:00 Session QES8: Simulation
14:45
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study (abstract)
15:10
Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels (abstract)
15:35
The Dynamic Fault Tree Rare Event Simulator (abstract)
Thursday, September 3rd

View this program: with abstractssession overviewtalk overview

13:00-14:15 Session QES11: Concurrency and Markov Processes
13:00
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains (abstract)
13:25
Markovian Arrival Processes in Multi-Dimensions (abstract)
13:50
Entropy Measures of Concurrent Disorder (abstract)
14:45-16:00 Session QES13: Model Checking II
14:45
Probabilistic Model Checking of AODV (abstract)
15:10
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism (abstract)
15:35
Bayesian Inference by Symbolic Model Checking (abstract)
16:30-17:30 Session QES15: QEST Keynote by Evgenia Smirni
16:30
Machine Learning for Reliability Analysis of Large Scale Distributed Systems (abstract)