Published: 12th July 2017
DOI: 10.4204/EPTCS.250
ISSN: 2075-2180


Proceedings 15th Workshop on
Quantitative Aspects of Programming Languages and Systems
Uppsala, Sweden, 23rd April 2017

Edited by: Herbert Wiklicky and Erik de Vink

E.P. de Vink and H. Wiklicky
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
Stefan Schupp, Johanna Nellen and Erika Ábrahám
Language-based Abstractions for Dynamical Systems
Andrea Vandin
SEA-PARAM: Exploring Schedulers in Parametric MDPs
Sebastian Arming, Ezio Bartocci and Ana Sokolova
Logical Characterization of Trace Metrics
Valentina Castiglioni and Simone Tini
PAWS: A Tool for the Analysis of Weighted Systems
Barbara König, Sebastian Küpper and Christina Mika
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination
Diego Latella and Mieke Massink
Bridging Static and Dynamic Program Analysis using Fuzzy Logic
Jacob Lidman and Josef Svenningsson


This EPTCS volume contains the proceedings of the fifteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017) held in Uppsala, Sweden, on Sunday 23 April 2017. QAPL 2017 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017).

The central theme of the QAPL workshops is that of quantitative aspects of computation. These aspects are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust), and play an important (sometimes essential) role in characterising the behaviour and determining the properties of systems. Quantities are also central to the definition of both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of the QAPL workshops is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems.

In particular, the workshop focuses on

The history of QAPL starts in 2001, when its first edition was held in Florence, Italy, as a satellite event of the ACM Principles, Logics, and Implementations of high-level programming languages conference, PLI 2001. The second edition, QAPL 2004, was held in Barcelona, Spain, as a satellite event of ETAPS 2004. Since then, QAPL has become a yearly appointment with ETAPS. In the following years, QAPL was held in Edinburgh, Scotland (QAPL 2005), Vienna, Austria (QAPL 2006), Braga, Portugal (QAPL 2007), Budapest, Hungary (QAPL 2008), York, United Kingdom (QAPL 2009), Paphos, Cyprus (QAPL 2010), Saarbrűcken, Germany (QAPL 2011) and Tallinn, Estonia (QAPL 2012), Rome, Italy (QAPL 2013), Grenoble, France (QAPL 2014), London, United Kingdom (QAPL 2015), and Eindhoven, The Netherlands (QAPL 2016).

The proceedings of the workshops up to and including 2009 are published as volumes in Electronic Notes in Theoretical Computer Science (ENTCS). The editions from 2010 are published as volumes of the Electronic Proceedings in Theoretical Computer Science (EPTCS). Special issues of the journal of Theoretical Computer Science (TCS) are dedicated to the QAPL 2004, QAPL 2006 and QAPL 2010 events, and are published in Volume 346(1), Volume 382(1), and Volume 413(1), respectively. A special issue of the journal of Theoretical Computer Science dedicated to QAPL 2011 and QAPL 2012 appeared as Volume 538, and that of QAPL 2013 and QAPL 2014 as Volume 655(B).

The Program Committee of QAPL 2017 comprising of

selected the contributed papers in this EPTCS volume. All regular papers were reviewed by at least three reviewers. After the workshop, the authors of regular papers were asked to submit a revised version, incorporating the comments made during the discussion at the workshop.

The workshop programme also included two QAPL keynote presentations by Erika Ábrahám (RWTH Aachen, Germany) and Andrea Vandin (IMT Lucca, Italy) who also contributed to these proceedings.

We would like to thank the QAPL steering committee for its support, the ETAPS 2017 organisers, and furthermore all the authors, the invited speakers, the programme committee, and the external referees for their valuable contributions.

June 2017, Erik de Vink and Herbert Wiklicky (Program Co-chairs)