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

As the main conference eQONFEST 2020, the workshop takes place without physical meetings and will conducted online. Technical details will follow and be presented on this webpage.


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. Submissions will undergo a peer-reviewing process. Accepted papers have to be presented at the workshop and 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

24 June 2020

Notification

24 July 2020

Camera-ready

24 August 2020

Workshop

31 August 2020


Invited Speakers

Sven Apel

holds the chair of software engineering at Saarland University, Germany. He is well-known as being one of the founders of feature-oriented software development and his great impact on the software product line community.

Axel Legay

is professor at UC Louvain, Belgium. He covers a wide range of research areas, including statistical model checking, quantitative analysis of highly reconfigurable systems, and formal methods for feature-oriented systems.


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