QEST2020: QUANTITATIVE EVALUATION OF SYSTEMS

A
Abate, Alessandro	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
Ashok, Pranav	Compact and Explainable Strategy Representations using dtControl
B
Backenköhler, Michael	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
Bernardo, Marco	Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
Blume, Andreas	Markovian Arrival Processes in Multi-Dimensions
Boreale, Michele	Automatic Pre- and Postconditions for Partial Differential Equations
Bortolussi, Luca	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
Buchholz, Peter	Markovian Arrival Processes in Multi-Dimensions
Budde, Carlos E.	The Dynamic Fault Tree Rare Event Simulator
C
Cook, Victor	Entropy Measures of Concurrent Disorder
D
Das, Arindam	CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems
Das, Olivia	CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems
Dechev, Damian	Entropy Measures of Concurrent Disorder
G
Gros, Timo P.	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
Großmann, Gerrit	Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
H
Henzinger, Tom	A Survey of Bidding Games on Graphs
Hoffmann, Jörg	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
Höller, Daniel	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
J
Jackermeier, Mathias	Compact and Explainable Strategy Representations using dtControl
Júlvez, Jorge	Flexible Nets
K
Kamali, Mojgan	Probabilistic Model Checking of AODV
Kaminski, Benjamin	Verifying Probabilistic Programs
Katoen, Joost-Pieter	Probabilistic Model Checking of AODV Verifying Probabilistic Programs Bayesian Inference by Symbolic Model Checking
Kwiatkowska, Marta	Multi-player Equilibria Verification for Concurrent Stochastic Games
Křetínský, Jan	Compact and Explainable Strategy Representations using dtControl
M
Marin, Andrea	A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues
Matheja, Christoph	Verifying Probabilistic Programs
McIver, Annabelle	On Privacy and Accuracy in Data Releases
N
Nicol, David M.	Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
Norman, Gethin	Multi-player Equilibria Verification for Concurrent Stochastic Games
P
Painter, Zachary	Entropy Measures of Concurrent Disorder
Palani, Kartik	Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
Parker, David	Multi-player Equilibria Verification for Concurrent Stochastic Games
Peterson, Christina	Entropy Measures of Concurrent Disorder
Petrov, Tatjana	StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks
Phung, Nhat-Huy	StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks
Phung-Duc, Tuan	M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
Polymenakos, Kyriakos	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
R
Rausch, Michael	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
Repin, Denis	StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks
Roberts, Stephen	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
Rontsis, Nikitas	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
Rossi, Sabina	A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues
Ruijters, Enno	The Dynamic Fault Tree Rare Event Simulator
S
Salako, Kizito	Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers
Salmani, Bahare	Bayesian Inference by Symbolic Model Checking
Sanders, William H.	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
Santos, Gabriel	Multi-player Equilibria Verification for Concurrent Stochastic Games
Scherbaum, Clara	Markovian Arrival Processes in Multi-Dimensions
Smirni, Evgenia	Machine Learning for Reliability Analysis of Large Scale Distributed Systems
Stoelinga, Mariëlle	The Dynamic Fault Tree Rare Event Simulator
W
Weininger, Maximilian	Compact and Explainable Strategy Representations using dtControl
Wolf, Verena	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
Y
Yazici, Mehmet Akif	M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
Z
Zen, Carlo	A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues

Disclaimer | Powered by EasyChair Smart Program