QAVS 2020: First Workshop on Quantitative Aspects of Variant-rich Systems Vienna, Austria, August 31, 2020 |
Conference website | https://qavs.edgecloud.de |
Submission link | https://easychair.org/conferences/?conf=qavs2020 |
Submission deadline | June 24, 2020 |
Due to the outbreak of COVID-19 and following the approach of QONFEST 2020, also QAVS 2020 will be conducted as a virtual meeting
Scope and Format
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.The workshop comprises invited presentations, talks based on papers submitted following the call for papers, and presentation-only participation.
Topics of Interest
The workshop is related but not limited to any combination of the following topics:
design | OF | performance | IN | feature-oriented systems |
modeling | reliability | product lines | ||
implementation | costs | highly-configurable systems | ||
analysis | stochastic effects |
Submission Details
The workshop solicits
- Regular papers that describe original research results or surveys, not exceeding 12 pages excluding references.
- Short papers that describe experiences, case studies, tools, work in progress, or exploratory ideas. Such papers should not exceed 6 pages including references.
The papers should be written in English and formatted according to the EPTCS guidelines (see http://info.eptcs.org). All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. 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.
Important Dates
- Submission deadline: 24 June 2020
- Notification: 24 July 2020
- Final version: 24 August 2020
- Workshop: 31 August 2020
Invited Speakers
- Sven Apel (Saarland University, Germany)
- Axel Legay (UC Louvain, Belgium)
Organizers
- Maurice H. ter Beek (ISTI-CNR, Pisa, Italy)
- Clemens Dubslaff (Technical University of Dresden, Germany)
Program Committee
- Christel Baier (Technical University of Dresden, Germany)
- Ezio Bartocci (Vienna University of Technology, Austria)
- Maxime Cordy (University of Luxembourg, Luxembourg)
- Uli Fahrenberg (LIX, Palaiseau, France)
- Jane Hillston (University of Edinburgh, UK)
- Nils Jansen (Radboud University Nijmegen, The Netherlands)
- Sebastian Junges (UC Berkeley, USA)
- Alberto Lluch Lafuente (Technical University of Denmark, Denmark)
- Mieke Massink (ISTI-CNR, Pisa, Italy)
- Genaina Rodrigues (University of Brasilia, Brazil)
- Christoph Seidl (IT University of Copenhagen, Denmark)
- Norbert Siegmund (University of Leipzig, Germany)
- Andrea Vandin (Sant'Anna School of Advanced Studies, Pisa, Italy)
- Mahsa Varshosaz (IT University of Copenhagen, Denmark)
- Erik de Vink (Eindhoven University of Technology, The Netherlands)