The scope of the QAPL workshop is to discuss new developments on the
quantitative evaluation of systems, with an emphasis on quantitative
aspects of computation, broadly construed.
We solicit papers on theory, engineering methodologies, tools, case
studies, and experience reports where quantitative properties such as
bandwidth, cost, energy, memory, performance, probability, reliability,
security, and time are first-class citizens.
We solicit papers on theory, engineering methodologies, tools, case studies, and experience reports where quantitative properties such as bandwidth, cost, energy, memory, performance, probability, reliability, security, and time are first-class citizens.
Topics of interest include (but are by no means not limited to):
- The design of probabilistic, deterministic, hybrid, real-time, and quantum languages, and the definition of their semantical models.
- Quantitative analysis techniques such as simulation, numerical solution, symbolic approaches, optimisation methods.
- Specification of quantitative properties such as probabilistic model checking and reward structures as well as verification and/or synthesis of systems in relation to quantitative aspects.
- Methodologies and frameworks for the engineering of systems based on quantitative information, such as reliability engineering and software performance engineering.
- Software tools to support the quantitative specification, analysis, and verification of systems.
- Case studies and applications, for instance about coordination models, cyber-physical systems, security, self-adaptive systems, smart grids, systems of systems as well as natural/physical domains such as chemistry and systems biology.
In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and presentations:
- Regular paper: Submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 12 pages (excluding the bibliography), additional technical material, proofs etc. can be provided in a clearly marked appendix which will be read by reviewers at their discretion. Regular papers will be reviewed by the PC.
- Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognised conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 4 pages. Presentation reports will be selcted by the PC Chairs (based on the availability of presentation time).
Accepted regular papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Please use the EPTCS latex style for both your preliminary submission and the camera ready paper.
For regular papers:
5 February12 February 2017 (AoE)
- Notification: 10 March 2017
- Final version (ETAPS proceedings): 25 March 2017
- Final version (EPTCS proceedings): TBA
For presentation reports:
- Submission: 12 March 2017 (AoE)
- Notification: 15 March 2017
- Erika Ábrahám, RWTH Aachen, Germany
- Andrea Vandin, IMT Lucca, Italy
- Alessandro Abate, University of Oxford, UK
- Alessandro Aldini, University of Urbino "Carlo Bo", IT
- Pedro D'Argenio, Universidad Nacional de Cordoba, AR
- Josee Desharnais, Universite Laval, CA
- Alessandra Di Pierro, Universita di Verona, IT
- Antonio Filieri, Imperial College London, UK
- Jane Hillston, University of Edinburgh, UK
- Jan Kretinsky, TU Munich, DE
- Mieke Massink, CNR-ISTI, IT
- David Šafránek, Masaryk University, CZ
- Ana Sokolova, University of Salzburg, AT
- Jiri Srba, Aalborg University, DK
- Marielle Stoelinga University of Twente, NL
- Andrea Turrini, Chinese Academy of Sciences, Beijing, CN
- 09:00 - 10:00 Invited Talk
Erika Abraham (with Stefan Schupp and Johanna Nellen):
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
- 10:00 - 10:30 Coffee Break
- 10:30 - 11:00 Paper
Sebastian Arming, Ezio Bartocci and Ana Sokolova:
SEA-PARAM: Exploring Schedulers in Parametric MDPs
- 11:00 - 11:30 Paper
Sebastian Kuepper, Barbara Koenig and Christina Mika:
Paws: A Tool for the Analysis of Weighted Systems
- 11:30 - 12:00 Paper
Stephan Brandauer and Tobias Wrigstad:
Mining for Safety using Interactive Trace Analysis
- 12:00 - 12:30 Paper
Valentina Castiglioni and Simone Tini:
Logical Characterization of Trace Metrics
- 12:30 - 14:00 Lunch
- 14:00 - 15:00 Invited Talk
Language-based abstractions for dynamical systems
- 15:00 - 15:30 Paper
Diego Latella and Mieke Massink:
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination
- 15:30 - 16:00 Coffee Break
- 16:00 - 16:30 Paper
Jacob Lidman and Josef Svenningsson:
Bridging Static and Dynamic Program Analysis using Fuzzy Logic
- 16:30 - 17:00 Presentation
Yuri Gil Dantas, Tobias Hamann, Heiko Mantel and Johannes Schickel:
An Experimental Study of a Bucketing Approach
- 17:00 - 17:30 Presentation
Pranav Ashok, Jan Kretinsky, Tobias Meggendorfer, Przemyslaw Daca and Krishnendu Chatterjee:
Mean-payoff Objectives for Markov Decision Processes