posted by organizer: FrancescaLonetti || 1515 views || tracked by 4 users: [display]

AMARETTO 2017 : 2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn


When Feb 19, 2017 - Feb 21, 2017
Where Porto, Portugal
Submission Deadline Oct 31, 2016
Notification Due Dec 14, 2016
Final Version Due Dec 28, 2016

Call For Papers


2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn AMARETTO 2017
In conjunction with the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2017 - 20 February, 2017 - Porto, Portugal

Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs and use domain knowledge to adapt well-known model-based approaches for verification and validation. It is generally agreed that the use of domain specific solutions is cost effective and can offer vast improvements in assessment of final software product.
The workshop is held at MODELSWARD 2017 and continues the successful tradition of the first edition of Amaretto in the investigation of different aspects and domain specific solutions for model-based verification and validation. This workshop provides a forum for academia, industry, and research and development communities to share their knowledge, exchange experiences and ideas, and discuss challenges and future research directions.

V&V solutions for specific domain
Domain specific testing strategies
Safety and Security V&V
Model-based security assessment
Requirements elicitation and modeling
Methodological approaches for V&V
Generation of domain-specific V&V frameworks
Model-driven test suite generation
Domain specific V&V tools
Customization of V&V methodologies to specific domain
V&V approaches at design level
Simulation and monitoring for specific application domain
Business process modeling and assessment
Certification and assessment of software products
In-house vs. third party V&V solutions
Empirical studies and industrial experiences
Identification of problems and visions of the future

Welcome domains of application include, but are not limited to:

Telecommunication and Networks
Cloud Computing and Web Services
Mobile Devices
Automotive and Transportation
Smart Grid, Smart Cities, and Smart Spaces
Public Administration
Finance & Business
Social Networks
Media and Audio-Visual

Papers Submission: October 31, 2016
Authors Notification: December 14, 2016
Camera Ready and Registration: December 28, 2016

Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at:
Please also check the Guidelines (
Papers should be submitted electronically via the web-based submission system at:

After thorough reviewing by the workshop program committee complemented by members of the main conference program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on CD-ROM support.
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library (
SCITEPRESS is a member of CrossRef ( and every paper is given a DOI (Digital Object Identifier).

Marco Autili, University of L'Aquila, Italy
Cesare Bartolini, University of Luxembourg, Luxembourg
Antonia Bertolino, ISTI-CNR, Italy
Emanuela Cartaxo, Federal University of Campina Grande, Brazil
Ana Cavalli, TELECOM SudParis, France
Antinisca Di Marco, University of L’Aquila, Italy
María José Escalona, ETS Ingeniería Informática, Spain
Angelo Gargantini, Università di Bergamo, Italy
Paul Grace, University of Southampton, UK
Knut Hinkelmann, University of Applied Sciences Northwestern FHNW, Switzerland
Sylvia Christova Ilieva, Sofia University, Bulgaria
Yves Le Traon, University of Luxembourg, Luxembourg
Leonardo Mariani, University of Milano Bicocca, Italy
Ilaria Matteucci, IIT-CNR, Italy
Raffaela Mirandola, Politecnico di Milano, Italy
Ana Cristina Paiva, University of Porto, Portugal
Ioannis Parissis, Grenoble INP - Esisar, France
Patrizio Pelliccione, University of Gothenburg, Sweden
Sasikumar Punnekkat, Malardalen University, Sweden
Antonino Sabetta, Security Research, SAP Labs, France
Gayane Sedrakyan, Katholieke Universiteit Leuven, Belgium
Paola Spoletini, Kennesaw State University, USA
Maurice H. ter Beek, ISTI-CNR, Italy
Barbara Thönssen, University of Applied Sciences Northwestern FHNW, Switzerland

Antonello Calabrò ISTI-CNR, Italy
Francesca Lonetti ISTI-CNR, Italy
Eda Marchetti ISTI-CNR, Italy

Related Resources

MDASD 2020   6th Workshop on Model Driven Approaches in System Development
A-MOST 2021   Advances in Model-Based Software Testing
ENASE 2021   16th International Conference on Evaluation of Novel Approaches to Software Engineering
Signals as Images (BSPC) 2021   Special Issue “Analysis of 1D Biomedical signals through AI based approaches for Image processing” (Biomedical Signal Processing and Control Journal)
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
ADRW 2021   «Archives during rebellions and wars». From the age of Napoleon to the cyber war era
QuASoQ 2020   8th International Workshop on Quantitative Approaches to Software Quality
ModComp 2020   ModComp 2020 Call for Papers
IEEE TC on Domain-Specific Architectures 2020   Call for Papers: IEEE TC Special Issue on Domain-Specific Architectures for Emerging Applications