default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQEST 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, Benny Van Houdt:
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, Miklós Vécsei:
Finite Queues at the Limit of Saturation. 33-42
Markov and Semi-Markov Models
- Peter Buchholz, Jan Kriege:
Aggregation of Markovian Models - An Alternating Least Squares Approach. 43-52 - Luca Bortolussi, Jane Hillston:
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, Edmund M. Clarke:
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, Clara Benac Earle, Lars-Åke Fredlund:
Static Partial Order Reduction for Probabilistic Concurrent Systems. 104-113 - Michael Benedikt, Rastislav Lenhardt, James Worrell:
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, Nicolas Markey:
Lower-Bound Constrained Runs in Weighted Timed Automata. 128-137 - Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet:
Almost-Sure Model-Checking of Reactive Timed Automata. 138-147
Security Analysis
- Michael D. Ford, Peter Buchholz, William H. Sanders:
State-Based Analysis in ADVISE. 148-157 - Michele Boreale, Francesca Pampaloni:
Quantitative Multirun Security under Active Adversaries. 158-167
Quantitative Semantics
- Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver:
Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. 168-177 - Max Tschaikowski, Mirco Tribastone:
Generalised Communication for Interacting Agents. 178-188 - Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou:
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, David Parker:
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, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
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, Andrea Sansottera:
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 2026-04-27 01:23 CEST 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:
