default search action
QEST 2012: London, United Kingdom
- Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2346-8
Keynote 1
- Moshe Y. Vardi:
Compositional Temporal Synthesis. 1
System Performance
- B. Maryam Elahi
, Carey Williamson, Philipp Woelfel:
Decoupled Speed Scaling: Analysis and Evaluation. 2-12 - Nikos Baltas, Tony Field:
Continuous Performance Testing in Virtual Time. 13-22
Queueing
- Gábor Horváth
A Multi-layer Fluid Queue with Boundary Phase Transitions and Its Application to the Analysis of Multi-type Queues with General Customer Impatience. 23-32 - Miklós Telek
Finite Queues at the Limit of Saturation. 33-42
Markov and Semi-Markov Models
- Peter Buchholz
Aggregation of Markovian Models - An Alternating Least Squares Approach. 43-52 - Luca Bortolussi
Fluid Approximation of CTMC with Deterministic Delays. 53-62 - Richard A. Hayden:
Mean Field for Performance Models with Deterministically-Timed Transitions. 63-73 - Yang Zhao, Gianfranco Ciardo
A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. 74-83
Markov Decision Processes
- David Henriques, João G. Martins, Paolo Zuliani, André Platzer
Statistical Model Checking for Markov Decision Processes. 84-93 - Gheorghe Comanici, Prakash Panangaden, Doina Precup:
On-the-Fly Algorithms for Bisimulation Metrics. 94-103 - Álvaro Fernández Díaz, Christel Baier
Static Partial Order Reduction for Probabilistic Concurrent Systems. 104-113 - Michael Benedikt
Verification of Two-Variable Logic Revisited. 114-123
Keynote 2
- Jeffrey P. Buzen:
Notes on the Nature of Uncertainty. 124-127
Real Time Systems
- Patricia Bouyer, Kim Guldstrand Larsen
Lower-Bound Constrained Runs in Weighted Timed Automata. 128-137 - Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski
Almost-Sure Model-Checking of Reactive Timed Automata. 138-147
Security Analysis
- Michael D. Ford, Peter Buchholz
State-Based Analysis in ADVISE. 148-157 - Michele Boreale
Quantitative Multirun Security under Active Adversaries. 158-167
Quantitative Semantics
- Friedrich Gretz, Joost-Pieter Katoen
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. 168-177 - Max Tschaikowski
Generalised Communication for Interacting Agents. 178-188 - Michele Bugliesi
Interference-Sensitive Preorders for MANETs. 189-198
Tools
- Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
Specification and Efficient Computation of Passage-Time Distributions in GPA. 199-200 - Philipp Reinecke, Tilman Krauss, Katinka Wolter:
HyperStar: Phase-Type Fitting Made Easy. 201-202 - Marta Z. Kwiatkowska, Gethin Norman
The PRISM Benchmark Suite. 203-204 - Thomas Begin, Alexandre Brandwajn:
A Tool for Solving Ph/M/c and Ph/M/c/N Queues. 205-206
Keynote 3
- Mike Maher:
Stochastic Modelling of Sport. 207-208
Reliability
- Vinodh Venkatesan, Ilias Iliadis
A General Reliability Model for Data Storage Systems. 209-219 - Layali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan:
Intermittent Hardware Errors Recovery: Modeling and Evaluation. 220-229
Measurement and System Modeling
- Davide Cerotti
Flexible CPU Provisioning in Clouds: A New Source of Performance Unpredictability. 230-237 - Yuval Rochman, Hanoch Levy, Eli Brosh:
Max Percentile Replication for Optimal Performance in Multi-regional P2P VoD Systems. 238-248 - Paolo Cremonesi
Indirect Estimation of Service Demands in the Presence of Structural Changes. 249-259
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 2024-12-19 22:02 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: