posted by user: sadegh_rk || 2188 views || tracked by 3 users: [display]

QAVS 2022 : Third Workshop on Quantitative Aspects of Variant-rich Systems

FacebookTwitterLinkedInGoogle

Link: https://qavs.edgecloud.de/
 
When Apr 3, 2022 - Apr 3, 2022
Where Munich, Germany
Submission Deadline Jan 24, 2022
Notification Due Feb 28, 2022
Final Version Due Mar 4, 2022
Categories    formal methods   cyber-physical systems   design   performance
 

Call For Papers

Scope of the Workshop

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 using, e.g., modern 5G technologies and robotics. 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 and foster their collaboration, presenting the different approaches to deal with non-functional properties of variant-rich systems.
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, configurable systems.

-------------------------

Submission Details
The workshop solicits three kinds of submissions:

- Regular papers that describe original research results or surveys, not exceeding 12 pages excluding references.
- Short papers describing experiences, case studies, tools, work in progress, or exploratory ideas. Such papers should not exceed 6 pages excluding references.
- Presentation-only submissions comprise an abstract that describes the tentative content of the talk. Such abstracts should not exceed 2 pages and may include already published material, unpublished work, and even challenges.

All regular paper and short paper 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(https://easychair.org/conferences/?conf=qavs2022). All submissions must be written in English and formatted according to the guidelines for EPTCS papers (see http://info.eptcs.org). Presentation-only submissions will only be reviewed for suitability, while regular and short papers undergo a peer-reviewing process by at least three PC members where final versions will be published in the EPTCS workshop series in case of acceptance. At least one author of each accepted submission will need to register for the workshop.

Related Resources

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
DSML 2024   5th International Conference on Data Science and Machine Learning
Hong Kong-MIST 2025   2025 Asia-Pacific Conference on Marine Intelligent Systems and Technologies (MIST 2025)
BDAB 2025   6th International Conference on Big Data and Blockchain
BS LAB 2025   9th Business Systems Laboratory International Symposium TECHNOLOGY AND SOCIETY: Boon or Bane?
ICCEA--EI 2024   2024 7th International Conference on Civil Engineering and Architecture (ICCEA 2024)
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ICPRS 2025   15th International Conference on Pattern Recognition Systems
PESARO 2025   The Fifteenth International Conference on Performance, Safety and Robustness in Complex Systems and Applications
ICCPS 2025   16th ACM/IEEE International Conference on Cyber-Physical Systems