QEST and FORMATS proceedings are published as LNCS 9259 and 9268 respectively and they are available during the conference.

The online versions are available here:

• LNCS 9259, QEST 2015
• LNCS 9268, FORMATS 2015

• 9:30—10:30, Keynote

  Boris Köpf (IMDEA Software Institute, Spain). Reasoning about the trade-off between security and performance.

• 11:00—13:00, Modelling and Applications

  Peter Popov, Kizito Salako and Vladimir Stankovic. Stochastic modeling for performance evaluation of database replication protocols.

  Laura Carnevali, Christopher Nugent, Fulvio Patara and Enrico Vicario. A continuous-time model-based approach to activity recognition for ambient assisted living.

  Farshad Shams and Mirco Tribastone. Power trading coordination in smart grids using dynamic learning and coalitional game theory.

  Varun Badrinath Krishna, Gabriel A. Weaver and William H. Sanders. PCA-based method for detecting integrity attacks on advanced metering infrastructure.

• 14:30—16:00, Tools

  Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti. U-check: Model checking and parameter synthesis under uncertainty.

  Hiroyuki Okamura and Tadashi Dohi. mapfit: An R-based tool for PH/MAP parameter estimation.

  Michael Bungert, Holger Hermanns and Reza Pulungan. A compression app for continuous probability distributions.

• 16:30—18:30, Petri Nets, Process Algebra and Fault Trees

  Lorenzo Capra, Massimiliano De Pierro and Giuliana Franceschinis. Computing structural properties of Symmetric Nets.

  Tomas Brazdil, Lubos Korenciak, Jan Krcal, Petr Novotny and Vojtech Rehak. Optimizing performance of continuous-time stochastic systems using timeout synthesis.

  Andrea Marin and Sabina Rossi. Lumping-based equivalences in Markovian automata and applications to product-form analyses.

  Jean-Michel Fourneau and Nihal Pekergin. A numerical analysis of dynamical fault trees based on stochastic bounds.

• 19:00—21:00, Reception

• 9:30—10:30, Keynote (joint program MADRID MEET)

  James Worrell (University of Oxford, UK). Reachability Problems for Continuous Linear Dynamical Systems

• 11:00—13:00, Applications

  Asser Tantawi. Quantitative placement of services in hierarchical clouds.

  Ulya Bayram, Kristin Y. Rozier and Eric Rozier. Characterizing data dependence constraints for dynamic reliability using N-queens attack domains.

  Si Liu, Son Nguyen, Jatin Ganhotra, Muntasir Raihan Rahman, Indranil Gupta and Jose Meseguer. Quantitative analysis of consistency in NoSQL key-value stores.

  John Mace, Charles Morisset and Aad van Moorsel. Impact of policy design on workflow resiliency computation time.

• 14:30—18:30, FORMATS Sessions
• 18:30—20:30, QEST Steering Committee Meeting. Place: Seminar Room 243 (second floor)

• 9:30—10:30, Keynote (joint program with FORMATS)

  Jozef Hooman (RU Nijmegen and TNO-ESI, The Netherlands). Uniting academic achievements on performance analysis with industrial needs.

• 11:00—13:00, Queueing Systems and Hybrid Systems

  Anne Bouillard, Ana Busic and Christelle Rovetta. Perfect sampling for multiclass closed queueing networks.

  Gerardo Rubino. Power and effectiveness in queueing systems.

  Yang Gao and Martin Fränzle. A solving procedure for stochastic satisfiability modulo theories with continuous domain.

  Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén and Matti Linjama. Bayesian statistical analysis for performance evaluation in real-time control systems.

• 14:30—15:30, Keynote (joint program MADRID MEET)

  Matthew Hennessy (Trinity College Dublin, Ireland). Title to be announced.

• 15:30—21:00, Excursion and Social Dinner