Published: 6th June 2014
DOI: 10.4204/EPTCS.154
ISSN: 2075-2180


Proceedings Twelfth International Workshop on
Quantitative Aspects of Programming Languages and Systems
Grenoble, France, 12-13 April 2014

Edited by: Nathalie Bertrand and Luca Bortolussi

Nathalie Bertrand and Luca Bortolussi
Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink and Valerio Senni
GSOS for non-deterministic processes with quantitative aspects
Marino Miculan and Marco Peressotti
Extended Differential Aggregations in Process Algebra for Performance and Biology
Max Tschaikowski and Mirco Tribastone
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker and Holger Hermanns
Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example
Cheng Feng
Formal and Informal Methods for Multi-Core Design Space Exploration
Jean-Francois Kempf, Olivier Lebeltel and Oded Maler
Model Checking CSL for Markov Population Models
David Spieler, Ernst Moritz Hahn and Lijun Zhang


This volume contains the proceedings of the Twelfth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), held in Grenoble, France, on 12 and 13 April, 2014. QAPL 2014 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS).

The central theme of the workshop 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. Such quantities are 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 the systems properties. The aim of this workshop 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, 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, UK (QAPL 2009), Paphos, Cyprus (QAPL 2010), Saarbrücken, Germany (QAPL 2011), Tallinn, Estonia (QAPL 2012), and Rome, Italy (QAPL 2013).
The proceedings of the workshop editions upto and including 2009 are published as volumes in Electronic Notes in Theoretical Computer Science (ENTCS). The editions of 2010, 2011, 2012 and 2013 are published as volume 28, volume 57, volume 85 and volume 117 respectively, of the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Three special issues of the journal of Theoretical Computer Science 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 is about to be published, while the call for a new special issue on Theoretical Computer Science dedicated to QAPL 2013 and QAPL 2014 has been just announced.

The workshop programme included four QAPL keynote presentations: Oded Maler (Verimag, France): Timed Systems: The Unmet Challenge, Stephen Gilmore (University of Edinburgh, UK): Quantitative Aspects of Public Transport, Enrico Vicario (University of Firenze, Italy): Quantitative evaluation of concurrent systems with non-Markovian temporal parameters, and Nicolas Markey (LSV, CNRS & ENS Cachan, France): Robustness issues in timed automata.

Furthermore, the Program Committee of QAPL 2014 which comprised of:

selected 7 regular papers and 12 presentation-only papers. 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, which are included here.

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

May 2014

Nathalie Bertrand and Luca Bortolussi
Program Co-chairs