QEST2020: QUANTITATIVE EVALUATION OF SYSTEMS

This page contains an index consisting of author-provided keywords.

2
2019–2020 coronavirus pandemic	Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
A
accuracy	On Privacy and Accuracy in Data Releases
approximation algorithms	Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
B
Bayesian Inference	Bayesian Inference by Symbolic Model Checking
Bidding games	A Survey of Bidding Games on Graphs
binary classification	Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers
C
coalgebra	Automatic Pre- and Postconditions for Partial Differential Equations
Concurrency	Entropy Measures of Concurrent Disorder
Concurrent Stochastic Games	Multi-player Equilibria Verification for Concurrent Stochastic Games
conservative Bayesian inference	Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers
correlated dataset	On Privacy and Accuracy in Data Releases
COVID-19	Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
cyber-physical systems	Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
Cybersecurity	Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
D
Data center	M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
Decision tree	Compact and Explainable Strategy Representations using dtControl
deep learning	StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks
Deep Reinforcement Learning	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
diverse redundancy	Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers
Dynamic Fault Trees	The Dynamic Fault Tree Rare Event Simulator
E
emulator	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
Entropy	Entropy Measures of Concurrent Disorder
Epidemic Stochastic Simulation	Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
equivalence	A Survey of Bidding Games on Graphs
exit time distribution	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
Explainability	Compact and Explainable Strategy Representations using dtControl
F
Fluid model	M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
formal power series	Automatic Pre- and Postconditions for Partial Differential Equations
G
Graphs	A Survey of Bidding Games on Graphs
H
High-Dimensional Data	Markovian Arrival Processes in Multi-Dimensions
I
Imitation Learning	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
Importance Sampling	The Dynamic Fault Tree Rare Event Simulator
Input Modeling	Markovian Arrival Processes in Multi-Dimensions
M
Machine learning	Compact and Explainable Strategy Representations using dtControl
Markov Chains	Bayesian Inference by Symbolic Model Checking
Markov decision process	Compact and Explainable Strategy Representations using dtControl
Markov population models	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
Markovian Arrival Process	Markovian Arrival Processes in Multi-Dimensions
metamodel	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
model reduction	StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks
MTBDD	Bayesian Inference by Symbolic Model Checking
N
Nash Equilibria	Multi-player Equilibria Verification for Concurrent Stochastic Games
neural network architecture search	StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks
nondeterminism	Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
O
optimization	Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
P
partial differential equations	Automatic Pre- and Postconditions for Partial Differential Equations
policy search	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
policy synthesis	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
polynomials	Automatic Pre- and Postconditions for Partial Differential Equations
population continuous-time Markov chains	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
Power-saving	M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
privacy	On Privacy and Accuracy in Data Releases
Probabilistic Inference	Bayesian Inference by Symbolic Model Checking
Probabilistic Model Checking	Multi-player Equilibria Verification for Concurrent Stochastic Games Probabilistic Model Checking of AODV
Probabilistic Timed Automata	Probabilistic Model Checking of AODV
probability	Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
Processor Sharing Queues	A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues
PSDD	Bayesian Inference by Symbolic Model Checking
Q
Queueing network	CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems
R
Racetrack	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
Rare Event Simulation	The Dynamic Fault Tree Rare Event Simulator
reachability probability	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
reinforcement learning	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
reliability assessment	Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers
Repairable Fault Trees	The Dynamic Fault Tree Rare Event Simulator
Response time	CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems
Routing Protocol	Probabilistic Model Checking of AODV
S
safe learning	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
safety requirements	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
SARS-CoV-2	Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
Scalability	Entropy Measures of Concurrent Disorder
SEIR Model	Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
semi-definite programming	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
sensitivity analysis	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
Size-based Scheduling	A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues
stacked ensemble	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
stochastic chemical reaction networks	StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks
Stochastic Processes	Markovian Arrival Processes in Multi-Dimensions
Strategy representation	Compact and Explainable Strategy Representations using dtControl
surrogate model	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
Symbolic Model Checking	Bayesian Inference by Symbolic Model Checking
System availability	The Dynamic Fault Tree Rare Event Simulator
System reliability	The Dynamic Fault Tree Rare Event Simulator
T
Think time	CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems
Tools for analysis of queues	A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues
trace semantics	Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
U
uncertainty quantification	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
User Learning	CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems
V
Vacation queue	M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
Variable service rate	M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis

Disclaimer | Powered by EasyChair Smart Program