default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQEST 2015: Madrid, Spain
- Javier Campos
, Boudewijn R. Haverkort:
Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Lecture Notes in Computer Science 9259, Springer 2015, ISBN 978-3-319-22263-9 - Bart D. Theelen, Jozef Hooman:
Uniting Academic Achievements on Performance Analysis with Industrial Needs. 3-18 - Peter T. Popov, Kizito Salako, Vladimir Stankovic:
Stochastic Modeling for Performance Evaluation of Database Replication Protocols. 21-37 - Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario:
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. 38-53 - Farshad Shams, Mirco Tribastone:
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. 54-69 - Varun Badrinath Krishna, Gabriel A. Weaver, William H. Sanders:
PCA-Based Method for Detecting Integrity Attacks on Advanced Metering Infrastructure. 70-85 - Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti:
U-Check: Model Checking and Parameter Synthesis Under Uncertainty. 89-104 - Hiroyuki Okamura, Tadashi Dohi:
mapfit: An R-Based Tool for PH/MAP Parameter Estimation. 105-112 - Michael Bungert, Holger Hermanns, Reza Pulungan:
A Compression App for Continuous Probability Distributions. 113-121 - Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
Computing Structural Properties of Symmetric Nets. 125-140 - Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák:
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. 141-159 - Andrea Marin, Sabina Rossi:
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses. 160-175 - Jean-Michel Fourneau, Nihal Pekergin:
A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds. 176-191 - Asser N. Tantawi:
Quantitative Placement of Services in Hierarchical Clouds. 195-210 - Ulya Bayram, Kristin Yvonne Rozier, Eric William Davis Rozier:
Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains. 211-227 - Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta, José Meseguer:
Quantitative Analysis of Consistency in NoSQL Key-Value Stores. 228-243 - John C. Mace, Charles Morisset, Aad P. A. van Moorsel:
Impact of Policy Design on Workflow Resiliency Computation Time. 244-259 - Anne Bouillard, Ana Busic, Christelle Rovetta:
Perfect Sampling for Multiclass Closed Queueing Networks. 263-278 - Gerardo Rubino:
Power and Effectiveness in Queueing Systems. 279-294 - Yang Gao, Martin Fränzle:
A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain. 295-311 - Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama:
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. 312-328
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:
