Quantitative Aspects of Variant-rich Systems

System variants often arise by configuring parameters that have a direct impact on the system’s behavior. Most prominently, in feature-oriented system design, features describe optional or incremental system functionalities whose configuration is simply whether a feature is active or inactive. Since the configuration space usually suffers from an exponential blowup in the number of configuration parameters, such variant-rich systems require specialized methods for their design, implementation, and analysis. Quantitative aspects such as probability of failure, energy consumption, or also numerical parameter values gain more and more attention due to the rising impact of co-adaptive and autonomous cyber-physical systems. While there are well-developed methodologies for variant-rich systems that do not take quantitative specifications into account, research on quantitative aspects is still done in fairly isolated branches. The main goal of this workshop is to bring researchers of the field together, presenting the different approaches to handle quantitative aspects, and foster their collaboration.

Workshop Format and Topics of Interest

The workshop comprises invited presentations, talks based on papers submitted following the call for papers, and presentation-only submissions (see submission details) related but not limited to the following topics:

Design
Modeling
Implementation
Analysis
Verification
of
performance
reliability
costs
stochastic effects
in
feature-oriented systems
product lines
highly configurable systems

Submission Details

Papers must be formatted according to the guidelines for EPTCS papers (see http://info.eptcs.org). We solicit two categories of papers:

  • Regular papers describing original research results or surveys. Such papers should not exceed 12 pages excluding references.
  • Short papers describing experiences, case studies, tools, work in progress, or exploratory ideas. Such papers should not exceed 6 pages including references.

All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Artifacts required to judge the paper should be made available through an URL. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=qavs2020. On acceptance, papers will be published in the EPTCS workshop series.

Besides the call for papers, we also call for presentation-only participation. Presentations provide the opportunity to report on already published material, unpublished work, and even challenges that are related to the topics of QAVS.

The following deadlines are AoE:

Submission

12 June 2020

Notification

12 July 2020

Camera-ready

12 August 2020

Workshop

31 August 2020


Committees

Program Committee Chairs

Maurice H. ter Beek

is head of the Formal Methods and Tools lab of ISTI-CNR in Pisa, Italy. He is active in particular in formal methods and model-checking tools, with applications in service-oriented computing and software product line engineering.

Clemens Dubslaff

is a research assistant at the chair of Algebraic and Logical Foundations of Computer Science at TU Dresden, Germany. His research focuses on quantitative modeling and analysis, probabilistic model checking, and feature-oriented systems.

Program Committee

Christel Baier
Christel Baier
Technical University of Dresden, Germany
Ezio Bartocci
Ezio Bartocci
Vienna University of Technology, Austria
Maxime Cordy
Maxime Cordy
University of Luxembourg, Luxembourg
Erik de Vink
Erik de Vink
Eindhoven University of Technology, The Netherlands
Uli Fahrenberg
Uli Fahrenberg
LIX, Palaiseau, France
Jane Hillston
Jane Hillston
University of Edinburgh, UK
Nils Jansen
Nils Jansen
Radboud University Nijmegen, The Netherlands
Sebastian Junges
Sebastian Junges
UC Berkeley, US
Alberto Lluch Lafuente
Alberto Lluch Lafuente
Technical University of Denmark, Denmark
Mieke Massink
Mieke Massink
ISTI-CNR, Pisa, Italy
Genaina Rodrigues
Genaina Rodrigues
University of Brasilia, Brazil
Christoph Seidl
Christoph Seidl
IT University of Copenhagen, Denmark
Norbert Siegmund
Norbert Siegmund
University of Leipzig, Germany
Andrea Vandin
Sant'Anna School of Advanced Studies, Pisa, Italy
Mahsa Varshosaz
IT University of Copenhagen, Denmark

Sponsors

CeTI
5G Lab Germany